Stem achiev$ (all stems)

159 papers:

DAC-2015-ChangCKLL #memory management #performance

Achieving SLC performance with MLC flash memory (YMC, YHC, TWK, YCL, HPL), p. 6.

DAC-2015-KashyapGS #design #reliability

Achieving power and reliability sign-off for automotive semiconductor designs (AK, SG, SS), p. 6.

ITiCSE-2015-LewisKMS

The Exploring Computer Science Course, Attendance and Math Achievement (DWL, LK, TM, MS), pp. 147–152.

CHI-2015-BrotmanBFHL #design

Building Change: Constructive Design of Smart Domestic Environments for Goal Achievement (RB, WB, JF, WH, JL), pp. 3083–3092.

CHI-2015-KonradBCTNDPW #adaptation #automation #reduction

Finding the Adaptive Sweet Spot: Balancing Compliance and Achievement in Automated Stress Reduction (AK, VB, NC, ST, LN, HD, PP, SW), pp. 3829–3838.

DUXU-UI-2015-LimW #challenge #gender

Closing the Gender Divide in Tech: Challenges and Achievements in Vogue (LL, Y(W), pp. 224–231.

ICEIS-v1-2015-CostaFMO #clustering #database #scalability

Sharding by Hash Partitioning — A Database Scalability Pattern to Achieve Evenly Sharded Database Clusters (CHC, JVBMF, PHMM, FCMBO), pp. 313–320.

ICML-2015-AnBB #how #linear #network #question

How Can Deep Rectifier Networks Achieve Linear Separability and Preserve Distances? (SA, FB, MB), pp. 514–523.

KDD-2015-KicKimanR #identification #social #social media #towards

Towards Decision Support and Goal Achievement: Identifying Action-Outcome Relationships From Social Media (EK, MR), pp. 547–556.

SEKE-2015-PeiYF #data access #in the cloud #performance #policy

Achieving Efficient Access Control via XACML Policy in Cloud Computing (XP, HY, GF), pp. 110–115.

HPDC-2015-OuyangKLP #kernel #lightweight #performance

Achieving Performance Isolation with Lightweight Co-Kernels (JO, BK, JRL, KTP), pp. 149–160.

ICLP-2015-Saleh #performance

Transforming Delimited Control: Achieving Faster Effect Handlers (AHS).

ICST-2015-HarmanJZ #challenge #problem #testing

Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.

DATE-2014-LuCC #correlation #memory management #performance

Achieving efficient packet-based memory system by exploiting correlation of memory requests (TL, LC, MC), pp. 1–6.

ICALP-v1-2014-MancinskaV #bound #probability

Unbounded Entanglement Can Be Needed to Achieve the Optimal Success Probability (LM, TV), pp. 835–846.

CSCW-2014-BossenJ #bibliography #how

How physicians “achieve overview”: a case-based study in a hospital ward (CB, LGJ), pp. 257–268.

CSCW-2014-XuSL #convergence

Achieving convergence in operational transformation: conditions, mechanisms and systems (YX, CS, ML), pp. 505–518.

LCT-NLE-2014-WangLC #learning #online #student

Low-Achieving Students’ Perceptions of Online Language Learning: A Case of English Proficiency Threshold (ALW, YCL, SFC), pp. 250–258.

RE-2014-SutcliffeRBS #requirements

Discovering affect-laden requirements to achieve system acceptance (AS, PR, CNB, PS), pp. 173–182.

FSE-2014-Cleland-HuangRM #lightweight #traceability

Achieving lightweight trustworthy traceability (JCH, MR, PM), pp. 849–852.

ICSE-2014-ChenLZ #android #detection #scalability

Achieving accuracy and scalability simultaneously in detecting application clones on Android markets (KC, PL, YZ), pp. 175–186.

LICS-CSL-2014-GottlobM #bound #logic #problem

Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.

DAC-2013-BartoliniCDMSS #operating system #research

The autonomic operating system research project: achievements and future directions (DBB, RC, GD, MM, MDS, FS), p. 10.

ICDAR-2013-IdikaPV #detection

Achieving Linguistic Provenance via Plagiarism Detection (NCI, HP, MV), pp. 648–652.

MSR-2013-GrantB #behaviour #empirical

Encouraging user behaviour with achievements: an empirical study (SG, BB), pp. 65–68.

CHI-2013-Denny #student

The effect of virtual achievements on student engagement (PD), pp. 763–772.

CSCW-2013-VermaRMJD

Complementarity of input devices to achieve knowledge sharing in meetings (HV, FR, SM, PJ, PD), pp. 701–714.

DUXU-PMT-2013-LuL13a #behaviour #design

Innovative Behavioral Intention and Creativity Achievement in Design: Test of an Integrated Model (CCL, DBL), pp. 535–544.

HCI-AS-2013-CoatsA #health

Achieving Electronic Health Record Access from the Cloud (BC, SA), pp. 26–35.

ICMT-2013-KramerKSMKBJ #weaving

Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.

SAC-2013-SinghR #algorithm #architecture #optimisation #predict

Meta-learning based architectural and algorithmic optimization for achieving green-ness in predictive workload analytics (NS, SR), pp. 1169–1176.

ICSE-2013-ZhangX #challenge

Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial) (DZ, TX), pp. 951–952.

ICSE-2013-ZhangXa #challenge

Software analytics: achievements and challenges (DZ, TX), p. 1487.

HPDC-2013-Shaw #named #simulation

Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.

SOSP-2013-ZhangPZSAL #latency #transaction

Transaction chains: achieving serializability with low latency in geo-distributed storage systems (YZ, RP, SZ, YS, MKA, JL), pp. 276–291.

ICSM-2012-Pollock #analysis #challenge #natural language

Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.

KDD-2012-OuyangG #adaptation #named #performance

NASA: achieving lower regrets and faster rates via adaptive stepsizes (HO, AGG), pp. 159–167.

KR-2012-GiordanoMD #bound #model checking

Achieving Completeness in Bounded Model Checking of Action Theories in ASP (LG, AM, DTD).

SIGIR-2012-Shah #collaboration #information retrieval

Collaborative information seeking: art and science of achieving 1+1>2 in IR (CS), pp. 1198–1199.

POPL-2012-BlackO #hoare #perspective

Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview (APB, PWO), pp. 1–2.

SAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language

A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.

FSE-2012-ParkHHCGTFX #named #performance

CarFast: achieving higher statement coverage faster (SP, BMMH, IH, CC, MG, KT, CF, QX), p. 35.

HPDC-2012-ChenASYB #multi #performance #question

Achieving application-centric performance targets via consolidation on multicores: myth or reality? (LYC, DA, ES, AY, WB), pp. 37–48.

ISSTA-2012-HongAPKH #concurrent #source code #testing

Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.

DATE-2011-CararaASM

Achieving composability in NoC-based MPSoCs through QoS management at software level (EC, GMA, GS, FGM), pp. 407–412.

CHI-2011-RaderEC

Brick by brick: iterating interventions to bridge the achievement gap with virtual peers (ER, ME, JC), pp. 2971–2974.

HCI-MIIE-2011-Edlin-WhiteCDFLR #adaptation #challenge #interface

Accessibility for Older Users through Adaptive Interfaces: Opportunities, Challenges and Achievements (REW, SC, MD, AF, SL, JckhR), pp. 483–489.

HIMI-v1-2011-TakeuchiN #how #question

How Do Real or Virtual Agent’s Body and Instructions Contribute to Task Achievement? (YT, HN), pp. 142–151.

SAC-2011-LiuM #adaptation #named #towards

AdaptStream: towards achieving fluidity in adaptive stream-based systems (YL, RM), pp. 217–223.

ICSE-2011-BoehmV #challenge #estimation #research

Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.

SPLC-2011-Bosch11a #legacy

Achieving Speed in Legacy Systems (JB), p. 352.

SPLC-2011-DaoLK #approach #problem #product line #quality

Problem Frames-Based Approach to Achieving Quality Attributes in Software Product Line Engineering (TMD, HL, KCK), pp. 175–180.

HPCA-2011-RanganPWB #performance #throughput

Achieving uniform performance and maximizing throughput in the presence of heterogeneity (KKR, MDP, GYW, DMB), pp. 3–14.

PPoPP-2011-KimKLL #image #multi

Achieving a single compute device image in OpenCL for multiple GPUs (JK, HK, JHL, JL), pp. 277–288.

SIGMOD-2010-ChenGN #named #statistics

PR-join: a non-blocking join achieving higher early result rate with statistical guarantees (SC, PBG, SN), pp. 147–158.

VLDB-2010-WeiRM #quality #xml

Achieving High Output Quality under Limited Resources through Structure-based Spilling in XML Streams (MW, EAR, MM), pp. 1267–1278.

ITiCSE-2010-Mirolo #analysis #learning #multi #recursion #student

Learning (through) recursion: a multidimensional analysis of the competences achieved by CS1 students (CM), pp. 160–164.

CSMR-2010-Prakash #adaptation #maintenance

Achieving Agility in Adaptive and Perfective Software Maintenance (GP), pp. 61–62.

SEKE-2010-LiLK #component #ontology #precise #semantics

Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS (CL, XL, JBK), pp. 692–697.

SIGIR-2010-WooLLSR #ranking #retrieval #using

Achieving high accuracy retrieval using intra-document term ranking (HWW, JTL, SWL, YIS, HCR), pp. 885–886.

OOPSLA-2010-Stanley

To achieve our highest goals, we must be willing to abandon them (KOS), p. 3.

FSE-2010-ZhouM10a #developer

Developer fluency: achieving true mastery in software projects (MZ, AM), pp. 137–146.

CAV-2010-GrafPQ #distributed #model checking

Achieving Distributed Control through Model Checking (SG, DP, SQ), pp. 396–409.

QoSA-2009-HinsmanSS #architecture

Achieving Agility through Architecture Visibility (CH, NS, JAS), pp. 116–129.

WICSA-ECSA-2009-RaibuletM #adaptation #evaluation #metric #question

Evaluation of dynamic adaptivity through metrics: an achievable target? (CR, LM), pp. 341–344.

CASE-2009-RamanathanRR #traceability

Achieving “handoff” traceability of complex system improvement (JR, RR, SR), pp. 641–646.

VLDB-2009-SunLNDC #analysis #detection #named #workflow

WOLVES: Achieving Correct Provenance Analysis by Detecting and Resolving Unsound Workflow Views (PS, ZL, SN, SBD, YC), pp. 1614–1617.

ITiCSE-2009-RodrigoBJADELPST #behaviour #predict

Affective and behavioral predictors of novice programmer achievement (MMTR, RSB, MCJ, ACMA, TD, MBVEL, SALL, SAMSP, JOS, EST), pp. 156–160.

ICMT-2009-FabroABJ #model transformation #using

Achieving Rule Interoperability Using Chains of Model Transformations (MDDF, PA, JB, FJ), pp. 249–259.

SAC-2009-BakkerI

Web-services in the dutch healthcare insurance sector: expected versus achieved benefits (HB, MEI), pp. 1617–1618.

SAC-2009-Hohn #modelling #reasoning

Model-based reasoning on the achievement of business goals (SH), pp. 1589–1593.

ISSTA-2009-YooHTS #clustering #effectiveness #scalability #testing

Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge (SY, MH, PT, AS), pp. 201–212.

TestCom-FATES-2009-GuoDW #erlang #source code #testing

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.

DRR-2008-XiangTLW #recognition #reliability #using

Achieving high recognition reliability using decision trees and AdaBoost (JX, XT, YL, PSPW), p. 68150.

CSCW-2008-KuzuokaPSKYYKLH

Effect of restarts and pauses on achieving a state of mutual orientation between a human and a robot (HK, KP, YS, IK, KY, AY, YK, PL, CH), pp. 201–204.

EDOC-2008-EijndhovenIP #flexibility #process

Achieving Business Process Flexibility with Business Rules (TvE, MEI, MLP), pp. 95–104.

CIKM-2008-HuangWL #detection #precise

Achieving both high precision and high recall in near-duplicate detection (LH, LW, XL), pp. 63–72.

KR-2008-Lin #proving

Proving Goal Achievability (FL), pp. 621–628.

RecSys-2008-DrennerST #community #experience #user interface

Crafting the initial user experience to achieve community goals (SD, SS, LGT), pp. 187–194.

SAC-2008-GiorgiB #performance

Filtering drowsy instruction cache to achieve better efficiency (RG, PB), pp. 1554–1555.

CASE-2007-FukuiNSMMF #automation #safety

Requirement of three-position enabling switches for installing in enabling devices to achieve operational safety of robotics and automation applications (TF, MN, YS, IM, AM, TF), pp. 111–116.

CSEET-2007-Jenkins #certification #experience #quality

Experience in Training Software Quality Engineers to Achieve a Professional Certification (MJ), pp. 83–88.

ITiCSE-2007-LangML #student

Seven factors that influence ICT student achievement (CL, JM, SL), pp. 221–225.

ITiCSE-2007-RavehHY #student

Transforming a high school student project in computer science into a significant scientific achievement (BR, BH, CY), p. 331.

STOC-2007-Katz #multi #on the

On achieving the “best of both worlds” in secure multiparty computation (JK), pp. 11–20.

DHM-2007-RapalaN #reliability #safety

Clinical Patient Safety — Achieving High Reliability in a Complex System (KR, JCN), pp. 710–716.

HCI-IPT-2007-ZaharakisK #behaviour #interactive #social #ubiquitous

Social Intelligence as the Means for Achieving Emergent Interactive Behaviour in Ubiquitous Computing Environments (IDZ, ADK), pp. 1018–1029.

HIMI-IIE-2007-SoufiM #case study #evaluation #usability #web

Achieving Usability Within E-Government Web Sites Illustrated by a Case Study Evaluation (BS, MCM), pp. 777–784.

HIMI-MTT-2007-ChoBKC #difference #on the #probability #using

On Achieving Proportional Loss Differentiation Using Dynamic-MQDDP with Differential Drop Probability (KC, SB, JK, JWC), pp. 584–593.

ICSE-2007-FerreiraSCMBBR #maturity #process

Applying ISO 9001: 2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica’s Pathway (AIFF, GS, RC, MM, AB, AOSB, ARR), pp. 642–651.

AMOST-2007-KicillofGTB #automation #test coverage #testing

Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.

PODS-2006-AggarwalFKKPTZ #clustering

Achieving anonymity via clustering (GA, TF, KK, SK, RP, DT, AZ), pp. 153–162.

STOC-2006-GuruswamiR

Explicit capacity-achieving list-decodable codes (VG, AR), pp. 1–10.

ICEIS-DISI-2006-FuginiMN

Supporting E-Placement: Achievements in the Italian Workfare Project (MF, PM, KN), pp. 245–250.

SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling

Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.

ICSE-2006-Abrial #formal method #industrial #problem

Formal methods in industry: achievements, problems, future (JRA), pp. 761–768.

WICSA-2005-LiLC #architecture #reliability

Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.

IWPC-2005-GearBCCO #case study #component #industrial #process #reuse

Achieving a Reuse Perspective within a Component Recovery Process: An Industrial Scale Case Study (ALG, JB, BC, JJC, KO), pp. 279–288.

PLDI-2005-ChenLLLLLJ #named #network #performance #programming

Shangri-La: achieving high performance from compiled network applications while enabling ease of programming (MKC, XFL, RL, JHL, LL, TL, RJ), pp. 224–236.

CHI-2005-BirnholtzFHB #ad hoc #chat #distributed #lightweight #scalability

Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.

ITiCSE-2004-ArmoniG #modelling #on the #student

On the achievements of high school students studying computational models (MA, JGE), pp. 17–21.

STOC-2004-PrabhakaranS #security

New notions of security: achieving universal composability without trusted setup (MP, AS), pp. 242–251.

ICEIS-v3-2004-VachonM #aspect-oriented #development #requirements #using

Achieving Supplementary Requirements Using Aspect-Oriented Development (JV, FM), pp. 584–587.

HPDC-2004-WuB #clustering #consistency #performance

Achieving Performance Consistency in Heterogeneous Clusters (CW, RCB), pp. 140–149.

DATE-2003-LindwerMBZMJC #concept

Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts (ML, DM, TB, RZ, RM, SJ, EC), pp. 10010–10017.

DocEng-2003-Kay #bibliography #challenge #xml #years after

XML five years on: a review of the achievements so far and the challenges ahead (MHK), pp. 29–31.

ECIR-2003-HeeschR #feedback #image #question #retrieval #what

Relevance Feedback for Content-Based Image Retrieval: What Can Three Mouse Clicks Achieve? (DH, SMR), pp. 363–376.

RE-2003-Lipner #assurance #towards

The Journey Toward Secure Systems: Achieving Assurance (SBL), p. 5.

ICLP-2003-Morrisett #low level #type safety

Achieving Type Safety for Low-Level Code (JGM), pp. 1–2.

DAC-2002-EderB #logic #performance #pipes and filters #verification

Achieving maximum performance: a method for the verification of interlocked pipeline control logic (KE, GB), pp. 135–140.

DATE-2002-LeeCDGM #algorithm #detection #fault #multi #testing

A New ATPG Algorithm to Limit Test Set Size and Achieve Multiple Detections of All Faults (SL, BC, JD, MRG, MRM), pp. 94–99.

ICSM-2002-ArsanjaniAZ #architecture #component #configuration management #maintenance

Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style (AA, JJA, HZ), pp. 628–637.

CSCW-2002-LuttersA #bound #case study #safety

Achieving safety: a field study of boundary objects in aircraft technical support (WGL, MSA), pp. 266–275.

CSCW-2002-WangBC #collaboration #editing #undo

Achieving undo in bitmap-based collaborative graphics editing systems (XW, JB, CC), pp. 68–76.

TestCom-2002-Binder #reliability #ubiquitous

Achieving High Reliability for Ubiquitous Information Technology (RVB), p. 75–?.

DAC-2001-ChinneryNK

Achieving 550Mhz in an ASIC Methodology (DGC, BN, KK), pp. 420–425.

DATE-2001-PomeranzR #order #sequence

Sequence reordering to improve the levels of compaction achievable by static compaction procedures (IP, SMR), pp. 214–218.

CSEET-2001-ThompsonE #re-engineering

Achieving a World-Wide Software Engineering Profession (JBT, HME), pp. 67–74.

WCRE-2001-BoldyreffK #reverse engineering

Reverse Engineering to Achieve Maintainable WWW Sites (CB, RK), p. 249–?.

CHI-2001-CorbettA #feedback #learning

Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes (ATC, JRA), pp. 245–252.

ICEIS-v2-2001-EscribanoMG

From Client’s Dreams to Achievable Projects (JJEO, RM, PG), pp. 833–838.

SAC-2001-Heimbigner #adaptation #middleware

Adapting publish/subscribe middleware to achieve Gnutella-like functionality (DH), pp. 176–181.

CSEET-2000-Smith #development

Achieving Organizational Training Objectives with Short Course Development (CS), pp. 32–38.

FASE-2000-Harel

From Play-In Scenarios to Code: An Achievable Dream (DH), pp. 22–34.

ICALP-2000-Abramsky #game studies #semantics

Game Semantics: Achievements and Prospects (SA), p. 1.

ICML-2000-SannerALL #learning #performance

Achieving Efficient and Cognitively Plausible Learning in Backgammon (SS, JRA, CL, MCL), pp. 823–830.

ICPR-v4-2000-RahmanF #comparison #multi #performance

Comparison of Some Multiple Expert Strategies: An Investigation of Resource Prerequisites and Achievable Performance (AFRR, MCF), pp. 4841–4844.

ICSE-2000-Faulk #industrial #lessons learnt #re-engineering

Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering (SRF), pp. 293–302.

CAV-2000-HeymanGGS #analysis #parallel #reachability #scalability

Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits (TH, DG, OG, AS), pp. 20–35.

ICDAR-1999-FrecheV #metric

Local and Global Approaches to Achieve Quantitative Measurement of Handwritings (TF, NV), pp. 593–596.

CSEET-1999-WohlinR #education #industrial #re-engineering

Achieving Industrial Relevance in Software Engineering Education (CW, BR), pp. 16–25.

STOC-1999-DinitzMR #complexity #symmetry

Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (Extended Abstract) (YD, SM, SR), pp. 265–274.

HCI-CCAD-1999-Carbonell #multi #named

Multimodality: a primary requisite for achieving an information society for all (NC), pp. 898–902.

HCI-CCAD-1999-KutayHW #human-computer #learning

Achieving learning outcomes in HCI for computing — an experiential testbed (CK, PH, GW), pp. 626–631.

CSCW-1998-SunE #algorithm #editing #realtime

Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements (CS, CAE), pp. 59–68.

HCI-SEC-1997-ArcherAR #question

Software Durability — Is it Important? Can it be Achieved? (SGA, LA, CR), pp. 593–596.

TOOLS-ASIA-1997-ZaitunMMH #integration #named

InFac: A Mechanism to Achieve Systems Integration (ABZ, YM, ZRM, BH), pp. 214–220.

CADE-1997-RousselM #calculus #compilation

Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case (OR, PM), pp. 161–175.

SEKE-1996-KimSK #communication

Relationship Between Communication Capability and Goal Achievement in System of Agents (HGK, YCS, MhK), pp. 246–252.

CADE-1996-RousselM #compilation

A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.

CADE-1996-Scott #automation #deduction #what

What Can We Hope to Achieve From Automated Deduction? (Abstract) (DSS), p. 245.

ISSTA-1996-MarreB

Unconstrained Duals and Their Use in Achieving All-Uses Coverage (MM, AB), pp. 147–157.

AdaEurope-1995-Heitz #ada #automation #c++ #code generation #reliability #reuse #using

Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.

SAC-1995-MakowskiP #parallel #performance

Achieving efficient register allocation via parallelism (CM, LLP), pp. 123–129.

SIGMOD-1993-AnanthanarayananGKLP #approach #object-oriented #relational #using

Using the Co-existence Approach to Achieve Combined Functionality of Object-Oriented and Relational Systems (RA, VG, WK, TJL, HP), pp. 109–118.

TOOLS-USA-1993-CaromelR #concurrent #reuse

Object-Based Concurrency: Ten Language Features to Achieve Reuse (DC, MR), pp. 205–213.

ICRE-1993-Beeck #analysis #execution #precise #realtime #specification

Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.

PPoPP-1993-KontothanassisW #performance #using

Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance (LIK, RWW), pp. 64–72.

TRI-Ada-C-1992-CramerD #ada #fault tolerance

The Use of Ada to Achieve Fault Tolerance in AAS (RSC, JDD), pp. 545–552.

DAC-1991-PomeranzR #fault #on the #using

On Achieving a Complete Fault Coverage for Sequential Machines Using the Transition Fault Model (IP, SMR), pp. 341–346.

KR-1991-Gruber #knowledge base #ontology #reuse

The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases (TRG), pp. 601–602.

CHI-1990-BohringerP #algorithm #automation #constraints #graph #layout #using

Using constraints to achieve stability in automatic graph layout algorithms (KFB, FNP), pp. 43–51.

VLDB-1989-BhargavaG #database

Achieving Zero Information-Loss in a Classical Database Environment (GB, SKG), pp. 217–224.

STOC-1988-AdlemanK #parallel #using

Using Smoothness to Achieve Parallelism (Abstract) (LMA, KK), pp. 528–538.

VDME-1987-Lucas #named

VDM: Origins, Hopes, and Achievements (PL), pp. 1–18.

CSCW-1986-CashmanS #complexity #theory and practice

Achieving sustainable complexity through information technology: theory and practice (PMC, DS), pp. 307–317.

STOC-1984-DolevHS #on the

On the Possibility and Impossibility of Achieving Clock Synchronization (DD, JYH, HRS), pp. 504–511.

VLDB-1977-TohKS #independence #multi #physics

Multi-Level Structures of the DBTG Data Model for an Achievement of Physical Data Independence (TT, SK, KS), pp. 403–414.

SIGFIDET-1974-SuL #automation #database #network

A Semi-automatic Data Base Translation System for Achieving Data Sharing in a Network Environment (SYWS, HL), pp. 227–247.