Stem asynchron$ (all stems)

335 papers:

CASE-2015-KimCDZF #distributed #flexibility

DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.

CASE-2015-LuoKNCS #distributed

Asynchronous distributed information leader selection in robotic swarms (WL, SSK, SN, NC, KPS), pp. 606–611.

DATE-2015-MamaghaniGE #named

De-elastisation: from asynchronous dataflows to synchronous circuits (MJM, JDG, DAE), pp. 273–276.

DATE-2015-SaifhashemiHBB #equivalence #logic #tool support #using

Logical equivalence checking of asynchronous circuits using commercial tools (AS, HHH, PB, PAB), pp. 1563–1566.

VLDB-2015-HanD #execution #graph #parallel

Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.

VLDB-2015-WangBH #datalog #evaluation #fault tolerance #recursion

Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines (JW, MB, DH), pp. 1542–1553.

ESOP-2015-EmmiGMR #analysis #source code

Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.

PLDI-2015-DeligiannisDKLT #analysis #programming #state machine #testing

Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.

SAS-2015-AlbertGG #analysis #interprocedural #source code

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization (EA, SG, PG), pp. 72–89.

ICALP-v2-2015-KarbasiLS #network #normalisation

Normalization Phenomena in Asynchronous Networks (AK, JL, AS), pp. 688–700.

SFM-2015-CoppoDPY #multi

A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.

CSCW-2015-DornSS #collaboration #learning

Piloting TrACE: Exploring Spatiotemporal Anchored Collaboration in Asynchronous Learning (BD, LBS, AS), pp. 393–403.

ICML-2015-AybatWI #distributed #optimisation

An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.

ECOOP-2015-KloosMV

Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.

SAC-2015-FukudaL #library

A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.

ESEC-FSE-2015-DesaiQS #testing

Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.

ASPLOS-2015-DavidGT #concurrent #data type #scalability

Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures (TD, RG, VT), pp. 631–644.

PPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid #optimisation

Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.

CAV-2015-Durand-Gasselin #model checking

Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.

CAV-2015-MajumdarW #bound #model checking #named #source code

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.

ICST-2015-Lorber #modelling #mutation testing #realtime #testing

Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.

ASE-2014-BasuB #automation #bound #interactive #verification

Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.

CASE-2014-ZhaoLH #evaluation #exponential #multi #performance

Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.

DAC-2014-HoC #optimisation #performance #pipes and filters

A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.

DATE-2014-BishnoiEOT #power management #symmetry #termination

Asynchronous Asymmetrical Write Termination (AAWT) for a low power STT-MRAM (RB, ME, FO, MBT), pp. 1–6.

DATE-2014-NaqviS #resource management

A tree arbiter cell for high speed resource sharing in asynchronous environments (SRN, AS), pp. 1–6.

DATE-2014-ShangZXY #design

Asynchronous design for new on-chip wide dynamic range power electronics (DS, XZ, FX, AY), pp. 1–6.

SIGMOD-2014-GurajadaSMT #distributed #message passing #named #rdf

TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.

VLDB-2014-YunYHVD #algorithm #distributed #matrix #multi #named #probability

NOMAD: Nonlocking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion (HY, HFY, CJH, SVNV, ISD), pp. 975–986.

FASE-2014-FiadeiroL #network

Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.

STOC-2014-MendesTH #distributed

Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.

ICALP-v2-2014-EmekLUW #finite #problem #state machine

Solving the ANTS Problem with Asynchronous Finite State Machines (YE, TL, JU, RW), pp. 471–482.

LCT-NLE-2014-RotheSG #video

Analyzing Interactivity in Asynchronous Video Discussions (HR, JS, MG), pp. 226–237.

ICML-c2-2014-LiuWRBS #algorithm #coordination #parallel #probability

An Asynchronous Parallel Stochastic Coordinate Descent Algorithm (JL, SW, CR, VB, SS), pp. 469–477.

ICML-c2-2014-ZhangK #distributed #optimisation

Asynchronous Distributed ADMM for Consensus Optimization (RZ, JTK), pp. 1701–1709.

RecSys-2014-PetroniQ #clustering #distributed #graph #matrix #named #probability

GASGD: stochastic gradient descent for distributed asynchronous matrix completion via graph partitioning (FP, LQ), pp. 241–248.

OOPSLA-2014-Desai0M #proving #reduction #source code #using

Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.

OOPSLA-2014-VoraKG #algorithm #consistency #named #parallel #using

ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM (KV, SCK, RG), pp. 861–878.

ICSE-2014-OkurHDD #c# #case study #programming #tool support

A study and toolkit for asynchronous programming in c# (SO, DLH, DD, AvD), pp. 1117–1127.

DATE-2013-LeeVTS #design #energy #performance

Design of low energy, high performance synchronous and asynchronous 64-point FFT (WL, VSV, ART, KSS), pp. 242–247.

DATE-2013-YakovlevVR #industrial #logic #roadmap #tool support

Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.

VLDB-2013-RaeRSSV #online

Online, Asynchronous Schema Change in F1 (IR, ER, JS, SS, RV), pp. 1045–1056.

TACAS-2013-WieringaH #incremental #manycore #satisfiability

Asynchronous Multi-core Incremental SAT Solving (SW, KH), pp. 139–153.

PLDI-2013-CzaplickiC #functional #programming #user interface

Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.

PLDI-2013-DesaiGJQRZ #named #programming

P: safe asynchronous event-driven programming (AD, VG, EKJ, SQ, SKR, DZ), pp. 321–332.

STOC-2013-MendesH #approximate #multi

Multidimensional approximate agreement in Byzantine asynchronous systems (HM, MH), pp. 391–400.

ICALP-v2-2013-GenestGMW #architecture #game studies

Asynchronous Games over Tree Architectures (BG, HG, AM, IW), pp. 275–286.

LATA-2013-DelzannoT #complexity #decidability #network #verification

Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (GD, RT), pp. 238–249.

LATA-2013-Otto #automaton

Asynchronous PC Systems of Pushdown Automata (FO), pp. 456–467.

IFL-2013-GrelckW #adaptation #array #functional #generative #performance

Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.

POPL-2013-CarboneM #multi #named #programming

Deadlock-freedom-by-design: multiparty asynchronous global programming (MC, FM), pp. 263–274.

HPDC-2013-NicolaeC #adaptation #data access #incremental #memory management #named

AI-Ckpt: leveraging memory access patterns for adaptive asynchronous incremental checkpointing (BN, FC), pp. 155–166.

SOSP-2013-ChandraKZ #web #web service

Asynchronous intrusion recovery for interconnected web services (RC, TK, NZ), pp. 213–227.

CAV-2013-EsparzaGM #verification

Parameterized Verification of Asynchronous Shared-Memory Systems (JE, PG, RM), pp. 124–140.

DATE-2012-0002EGB #performance #using

Area efficient asynchronous SDM routers using 2-stage Clos switches (WS, DAE, JDG, WJB), pp. 1495–1500.

DATE-2012-Chaturvedi #static analysis

Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.

DATE-2012-HansenS #multi #pipes and filters #resource management

Multi-token resource sharing for pipelined asynchronous systems (JH, MS), pp. 1191–1196.

SAS-2012-EmmiL #distributed #source code

Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.

CHI-2012-BruunS #testing #usability

The effect of task assignments and instruction types on remote asynchronous usability testing (AB, JS), pp. 2117–2126.

CHI-2012-InkpenDRHJ #video

Video kids: augmenting close friendships with asynchronous video conversations in videopal (KI, HD, AR, AH, PJ), pp. 2387–2396.

CHI-2012-TangMHRIZC #interactive #lightweight #using #video

Time travel proxy: using lightweight video recordings to create asynchronous, interactive meetings (JCT, JM, AH, AR, KI, CZ, XC), pp. 3111–3120.

CSCW-2012-BarksdaleICHJRV #distributed #thread #video

Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.

CSCW-2012-LiCPT #communication #design #flexibility #named #sketching

SketchComm: a tool to support rich and flexible asynchronous communication of early design ideas (GL, XC, SP, FT), pp. 359–368.

ICPR-2012-NakazawaMMNHYY #multi #re-engineering #using

Dynamic scene reconstruction using asynchronous multiple Kinects (MN, IM, YM, HN, HH, HY, YY), pp. 469–472.

ECOOP-2012-BiermanRMMT #c# #formal method #game studies

Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.

FSE-2012-EmmiLQ #source code

Asynchronous programs with prioritized task-buffers (ME, AL, SQ), p. 48.

CGO-2012-ZhangGHLMA #fault tolerance #runtime

Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.

CSL-2012-DeYoungCPT #communication #linear #logic #reduction

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.

VMCAI-2012-BasuBO #communication #verification

Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.

VMCAI-2012-KleinPP #effectiveness #specification #synthesis

Effective Synthesis of Asynchronous Systems from GR(1) Specifications (UK, NP, AP), pp. 283–298.

VMCAI-2012-MorseVMM #c #message passing #modelling #source code

Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.

ASE-2011-BotincanDDP #manycore #memory management

Safe asynchronous multicore memory operations (MB, MD, AFD, MJP), pp. 153–162.

DATE-2011-AgyekumN #communication #hardware #robust

A delay-insensitive bus-invert code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 1370–1375.

DATE-2011-OnizawaMH #communication #monitoring

Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring (NO, AM, TH), pp. 776–781.

PLDI-2011-ZiarekSJ #composition

Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.

DLT-2011-ChandesrisDFM #aspect-oriented #automaton

Computational Aspects of Asynchronous Cellular Automata (JC, AD, EF, LM), pp. 466–468.

SEFM-2011-NorooziKMW #consistency #testing

Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.

Onward-2011-NevesGF #stack

Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.

OOPSLA-2011-AftandilianGVY

Asynchronous assertions (EA, SZG, MTV, EY), pp. 275–288.

OOPSLA-2011-HarrisAIM #composition #named

AC: composable asynchronous IO for native languages (TH, MA, RI, RM), pp. 903–920.

PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using

Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.

PADL-2011-SymePL #f# #programming

The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.

PPoPP-2011-BotincanDDP #automation #memory management #proving #safety

Automatic safety proofs for asynchronous memory operations (MB, MD, AFD, MJP), pp. 313–314.

VMCAI-2011-Dill

Are Cells Asynchronous Circuits? — (Invited Talk) (DLD), p. 1.

CASE-2010-AnandFLM #distributed #implementation #network #using

A practical implementation of distributed system control over an asynchronous Ethernet network using time stamped data (DMA, JGF, YSLB, JRM), pp. 515–520.

CASE-2010-SchirruPN10a #multi #process #statistics

Multilevel statistical process control of asynchronous multi-stream processes in semiconductor manufacturing (AS, SP, GDN), pp. 57–62.

DATE-2010-AgyekumN #communication #hardware #robust

An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.

DATE-2010-ThonnartVC #framework #integration #power management

A fully-asynchronous low-power framework for GALS NoC integration (YT, PV, FC), pp. 33–38.

WRLA-2010-KatelmanKM #analysis #concurrent #semantics

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (MK, SK, JM), pp. 140–156.

ICALP-v2-2010-BunnO #network

Asynchronous Throughput-Optimal Routing in Malicious Networks (PB, RO), pp. 236–248.

ICALP-v2-2010-GenestGMW #automaton

Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata (BG, HG, AM, IW), pp. 52–63.

ICEIS-SAIC-2010-Kristensen #abstraction #collaboration #message passing #using

Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.

POPL-2010-GershenfeldDCKGDGS #automaton #configuration management #logic

Reconfigurable asynchronous logic automata: (RALA) (NG, DD, KC, AK, FG, EDD, SG, PSN), pp. 1–6.

SAC-2010-CorreiaVL #process

Asynchronous Byzantine consensus with 2f+1 processes (MC, GSV, LCL), pp. 475–480.

PPoPP-2010-ChandramowlishwaranKV #algebra #concurrent #linear #parallel #programming

Applying the concurrent collections programming model to asynchronous parallel dense linear algebra (AC, KK, RWV), pp. 345–346.

PPoPP-2010-LiuL #algorithm #locality #parallel

Improving parallelism and locality with asynchronous algorithms (LL, ZL), pp. 213–222.

VMCAI-2010-Dubrovin #bound #reachability

Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.

SIGMOD-2009-AgrawalSCSR #database #maintenance

Asynchronous view maintenance for VLSD databases (PA, AS, BFC, US, RR), pp. 179–192.

ESOP-2009-MostrousYH #commutative #type system

Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.

FM-2009-JohnsenKY #composition #concurrent #distributed #evolution

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.

SFM-2009-CarboneYH #exception #interactive #multi

Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.

CHI-2009-BruunGHS #comparison #testing #usability

Let your users do the testing: a comparison of three remote asynchronous usability testing methods (AB, PG, LH, JS), pp. 1619–1628.

CAiSE-2009-GuermoucheG #analysis #web #web service

Asynchronous Timed Web Service-Aware Choreography Analysis (NG, CG), pp. 364–378.

POPL-2009-GantyMR #liveness #source code #verification

Verifying liveness for asynchronous programs (PG, RM, AR), pp. 102–113.

ESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code

Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.

PPoPP-2009-BikshandiCKNPSSVW #implementation #multi #performance #source code

Efficient, portable implementation of asynchronous multi-place programs (GB, JGC, SBK, VKN, IP, VAS, SS, PV, TW), pp. 271–282.

MBT-2009-SalasK #automation #testing

Automated Software Testing of Asynchronous Systems (PAPS, PK), pp. 3–19.

DATE-2008-OggVAYDB

Serialized Asynchronous Links for NoC (SO, EV, BMAH, AY, CD, LB), pp. 1003–1008.

ICALP-C-2008-HirtNP #communication #multi #polynomial

Asynchronous Multi-Party Computation with Quadratic Communication (MH, JBN, BP), pp. 473–485.

CHI-2008-LukHA

Asynchronous remote medical consultation for Ghana (RL, MH, PMA), pp. 743–752.

POPL-2008-HondaYC #multi

Multiparty asynchronous session types (KH, NY, MC), pp. 273–284.

HPDC-2008-DocanPK #named

DART: a substrate for high speed asynchronous data IO (CD, MP, SK), pp. 219–220.

DAC-2007-ChelceaVG #self

Self-Resetting Latches for Asynchronous Micro-Pipelines (TC, GV, SCG), pp. 986–989.

DATE-2007-DuboisMAWLW #analysis #embedded #quality

Test quality analysis and improvement for an embedded asynchronous FIFO (TD, EJM, MA, PW, EL, CW), pp. 859–864.

DATE-2007-SheibanyradPG #architecture #comparison #implementation #multi #network

Systematic comparison between the asynchronous and the multi-synchronous implementations of a network on chip architecture (AS, IMP, AG), pp. 1090–1095.

DATE-2007-WielageMAW #design #embedded #performance

Design and DfT of a high-speed area-efficient embedded asynchronous FIFO (PW, EJM, MA, CW), pp. 853–858.

ICDAR-2007-SchlapbachB #identification #online

Fusing Asynchronous Feature Streams for On-line Writer Identification (AS, HB), pp. 103–107.

ITiCSE-2007-Bower #analysis #concept #independence #online

Independent, synchronous and asynchronous an analysis of approaches to online concept formation (MB), pp. 141–145.

TACAS-2007-YuCL #bound #diagrams #reachability #using

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.

STOC-2007-AttiyaC #bound #random

Tight bounds for asynchronous randomized consensus (HA, KC), pp. 155–164.

CHI-2007-HeerVW #collaboration #visualisation

Voyagers and voyeurs: supporting asynchronous collaborative information visualization (JH, FBV, MW), pp. 1029–1038.

OCSC-2007-ChenY07a #collaboration #design #difference #industrial #learning

The Differences Between the Influences of Synchronous and Asynchronous Modes on Collaborative Learning Project of Industrial Design (WC, MY), pp. 275–283.

ICEIS-SAIC-2007-BentoP #collaboration #editing #mobile

Supporting Asynchronous Collaborative Editing in Mobile Computing Environments (MB, NMP), pp. 343–350.

ICEIS-SAIC-2007-IgnatO #documentation #editing #flexibility #xml

Flexible Reconciliation of XML Documents in Asynchronous Editing (CLI, GO), pp. 359–368.

POPL-2007-JhalaM #analysis #interprocedural #source code

Interprocedural analysis of asynchronous programs (RJ, RM), pp. 339–350.

ESEC-FSE-2007-ChandrasekaranCJR #programming

Programming asynchronous layers with CLARITY (PC, CLC, JMJ, SKR), pp. 65–74.

HPDC-2007-LiP #framework #parallel

A computational infrastructure for grid-based asynchronous parallel applications (ZL, MP), pp. 229–230.

DAC-2006-CarmonaC #encoding #scalability

State encoding of large asynchronous controllers (JC, JC), pp. 939–944.

DAC-2006-JayakumarGGK #approach #design

A PLA based asynchronous micropipelining approach for subthreshold circuit design (NJ, RG, BG, SPK), pp. 419–424.

DATE-2006-AlmukhaizimM #concurrent #detection #fault

Berger code-based concurrent error detection in asynchronous burst-mode machines (SA, YM), pp. 71–72.

DATE-DF-2006-CampobelloCCM #network

GALS networks on chip: a new solution for asynchronous delay-insensitive links (GC, MC, CC, DM), pp. 160–165.

FASE-2006-DamianLM #empirical #requirements

An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings (DED, FL, TM), pp. 155–169.

FoSSaCS-2006-Gorla #communication #on the #power of

On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.

SEFM-2006-Kapoor #formal method #modelling #pipes and filters #verification

Formal Modelling and Verification of an Asynchronous DLX Pipeline (HKK), pp. 118–127.

LOPSTR-2006-ScheweF #synthesis

Synthesis of Asynchronous Systems (SS, BF), pp. 127–142.

ICSE-2006-DamianLM #effectiveness #requirements

The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations (DED, FL, TM), pp. 917–920.

HPDC-2006-AliL #performance #using

Improving the Performance of Remote I/O Using Asynchronous Primitives (NA, ML), pp. 218–228.

HPDC-2006-CicottiB #programming

Short Paper: Asynchronous programming with Tarragon (PC, SBB), pp. 375–376.

CAV-2006-SenV #model checking #parallel #source code #thread

Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.

DAC-2005-McGeeN #classification #design #framework #pipes and filters

A lattice-based framework for the classification and design of asynchronous pipelines (PBM, SMN), pp. 491–496.

DAC-2005-MonnetRL #evaluation #fault

Asynchronous circuits transient faults sensitivity evaluation (YM, MR, RL), pp. 863–868.

DATE-2005-AlmukhaizimM #concurrent #detection #fault

Concurrent Error Detection in Asynchronous Burst-Mode Controllers (SA, YM), pp. 1272–1277.

DATE-2005-BouesseRDG #formal method

DPA on Quasi Delay Insensitive Asynchronous Circuits: Formalization and Improvement (GFB, MR, SD, FG), pp. 424–429.

DATE-2005-DasguptaY #architecture #modelling #verification

Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures (SD, AY), pp. 568–569.

DATE-2005-HuotDFR #architecture #logic #multi

FPGA Architecture for Multi-Style Asynchronous Logic (NH, HD, LF, MR), pp. 32–33.

PODS-2005-AbiteboulAHM #datalog #exclamation

Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.

WRLA-2004-JohnsenOA05 #concurrent #runtime

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.

STOC-2005-ChlebusK #memory management

Cooperative asynchronous update of shared memory (BSC, DRK), pp. 733–739.

ICALP-2005-CrescenzoK #communication

Asynchronous Perfectly Secure Communication over One-Time Pads (GDC, AK), pp. 216–227.

ICALP-2005-DelzannoG #composition #constraints #process #theorem proving #verification

Compositional Verification of Asynchronous Processes via Constraint Solving (GD, MG), pp. 1239–1250.

ICALP-2005-KursaweS

Optimistic Asynchronous Atomic Broadcast (KK, VS), pp. 204–215.

FM-2005-LeiI #approach #communication #protocol

An Approach to Unfolding Asynchronous Communication Protocols (YL, SPI), pp. 334–349.

LCTES-2005-ZhuM #feedback #scalability #scheduling

Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling (YZ, FM), pp. 203–212.

CAV-2005-PastorPS #concurrent #named #verification

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems (EP, MAP, MS), pp. 424–428.

LICS-2005-Mellies #game studies #linear #logic

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (PAM), pp. 386–395.

DAC-2004-DavareLKS #implementation #performance #specification

The best of both worlds: the efficient asynchronous implementation of synchronous specifications (AD, KL, AK, ALSV), pp. 588–591.

DAC-2004-KapoorJ #concurrent #logic #specification #synthesis

Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis (HKK, MBJ), pp. 830–833.

DATE-v1-2004-BurnsSKY #synthesis #tool support #using

An Asynchronous Synthesis Toolset Using Verilog (FPB, DS, AK, AY), pp. 724–725.

DATE-v1-2004-EfthymiouSE #automation #generative

Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits (AE, CPS, DAE), pp. 672–673.

DATE-v1-2004-HeathBH #named #nondeterminism

Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s (MWH, WPB, IGH), pp. 410–415.

DATE-v1-2004-MousaviGTSB #design #framework #modelling #validation

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.

DATE-v2-2004-BranoverKG #design

Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones (AB, RK, RG), pp. 870–877.

DATE-v2-2004-CortadellaKLLS #approach #automation

From Synchronous to Asynchronous: An Automatic Approach (JC, AK, LL, KL, CPS), pp. 1368–1369.

SAS-2004-ThompsonM #abstract interpretation

Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.

STOC-2004-ChlebusKS #worst-case

Collective asynchronous reading with polylogarithmic worst-case overhead (BSC, DRK, AAS), pp. 321–330.

FLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.

SEFM-2004-JohnsenO #communication #concurrent #distributed

An Asynchronous Communication Model for Distributed Concurrent Objects (EBJ, OO), pp. 188–197.

SFM-2004-BihlerV #performance #petri net

Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.

CSCW-2004-WengG #collaboration

Asynchronous collaborative writing through annotations (CW, JHG), pp. 578–581.

ICEIS-v2-2004-ValleP #communication

Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.

KR-2004-Halpern

Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (JYH), pp. 12–22.

POPL-2004-CaromelHS

Asynchronous and deterministic objects (DC, LH, BPS), pp. 123–134.

HPDC-2004-VijayakumarP #data type #evaluation #performance

Performance Evaluation of Rate-Based Join Window Sizing for Asynchronous Data Streams (NNV, BP), pp. 260–261.

LCTES-2004-KumarSD #concurrent #integration #performance #thread

Asynchronous software thread integration for efficient software (NJK, SS, AGD), pp. 37–46.

ASE-2003-HendricksonDT #approach #architecture #comprehension

An Approach for Tracing and Understanding Asynchronous Architectures (SAH, EMD, RNT), pp. 318–322.

DAC-2003-AmdeBS #automation #design

Automating the design of an asynchronous DLX microprocessor (MA, IB, CPS), pp. 502–507.

DAC-2003-SaifhashemiP #abstraction #framework #modelling

Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction (AS, HP), pp. 330–333.

DAC-2003-WongM #composition #data-driven #synthesis

High-level synthesis of asynchronous systems by data-driven decomposition (CGW, AJM), pp. 508–513.

DATE-2003-FazelTR #design #logic #named #visualisation

PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.

DATE-2003-MadalinskiBKY #design #visualisation

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.

DATE-2003-SokolovBY #optimisation

STG Optimisation in the Direct Mapping of Asynchronous Circuits (DS, AVB, AY), pp. 10932–10939.

AdaEurope-2003-BrosgolW #ada #comparison #java #realtime

A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.

ICEIS-v1-2003-FatoohiG #distributed #execution #using #web

A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.

ICEIS-v4-2003-Tagg

Software Agents to Support Administration in Asynchronous Team Environments (RT), pp. 119–126.

KDD-2003-GuhaGK #correlation #data type

Correlating synchronous and asynchronous data streams (SG, DG, NK), pp. 529–534.

CAV-2003-CiardoS #model checking

Structural Symbolic CTL Model Checking of Asynchronous Systems (GC, RS), pp. 40–53.

DAC-2002-ChelceaN #optimisation #scalability

Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems (TC, SMN), pp. 405–410.

DAC-2002-KondratyevL #design #tool support

Design of asynchronous circuits by synchronous CAD tools (AK, KL), pp. 411–414.

DAC-2002-Sotiriou #implementation #using

Implementing asynchronous circuits using a conventional EDA tool-flow (CPS), pp. 415–418.

DATE-2002-FerrettiB #encoding #pipes and filters #using

Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding (MF, PAB), pp. 1008–1015.

DATE-2002-OzdagBSN #performance #pipes and filters

High-Speed Non-Linear Asynchronous Pipelines (ROO, PAB, MS, SMN), pp. 1000–1007.

DATE-2002-PenzesM #energy #estimation

An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor (PIP, AJM), pp. 640–647.

DATE-2002-RigaudFRQ #communication #design #modelling

High-Level Modeling and Design of Asynchronous Arbiters for On-Chip Communication Systems (JBR, LF, MR, JQ), p. 1090.

DATE-2002-TugsinavisutB #pipes and filters

Control Circuit Templates for Asynchronous Bundled-Data Pipelines (ST, PAB), p. 1098.

VLDB-2002-KounevB #data access

Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services (SK, APB), pp. 574–585.

TACAS-2002-FersmanPY #automaton #decidability #process #scheduling

Timed Automata with Asynchronous Processes: Schedulability and Decidability (EF, PP, WY), pp. 67–82.

WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus

An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.

DLT-2002-Imreh #automaton

Some Remarks on Asynchronous Automata (BI), pp. 290–296.

FME-2002-HendersonP #classification #communication #verification

The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.

POPL-2002-Manohar #design #scalability

Scalable formal design methods for asynchronous VLSI (RM), pp. 245–246.

CAV-2002-RajamaniR #consistency #message passing #modelling

Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.

DAC-2001-KudlugiST #functional #multi #scheduling #verification

Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.

DAC-2001-TheobaldN #distributed #optimisation #synthesis

Transformations for the Synthesis and Optimization of Asynchronous Distributed Control (MT, SMN), pp. 263–268.

DATE-2001-GarnicaLH #power management #pseudo

A pseudo delay-insensitive timing model to synthesizing low-power asynchronous circuits (OG, JL, RH), p. 810.

PLDI-2001-MarlowJMR #exception #haskell

Asynchronous Exceptions in Haskell (SM, SLPJ, AM, JHR), pp. 274–285.

STOC-2001-MostefaouiRR #distributed

Conditions on input vectors for consensus solvability in asynchronous distributed systems (AM, SR, MR), pp. 153–162.

ICALP-2001-Baum-Waidner #contract #multi

Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.

TOOLS-USA-2001-LiKLCL #algorithm #automation #data mining #mining #parallel

Automatic Data Mining by Asynchronous Parallel Evolutionary Algorithms (JL, ZK, YL, HC, PL), pp. 99–107.

SAC-2001-Ben-MiledSBNLAOGKNCMS #object-oriented #transaction #using

Global change master directory: object-oriented active asynchronous transaction management in a federated environment using data agents (ZBM, SS, OAB, KN, EL, MA, LO, CG, DK, TN, RC, GM, JS), pp. 207–214.

SIGMOD-2000-SalemBCL #how #incremental #maintenance

How To Roll a Join: Asynchronous Incremental View Maintenance (KS, KSB, RC, BGL), pp. 129–140.

FoSSaCS-2000-HerescuP #probability #π-calculus

Probabilistic Asynchronous π-Calculus (OMH, CP), pp. 146–160.

FoSSaCS-2000-Merro #calculus #locality

Locality and Polyadicity in Asynchronous Name-Passing Calculi (MM), pp. 238–251.

FoSSaCS-2000-QuagliaW #mobile #on the #process

On Synchronous and Asynchronous Mobile Processes (PQ, DW), pp. 283–296.

TACAS-2000-Bultan #concurrent #constraints #evaluation #model checking

BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems (TB), pp. 441–455.

TACAS-2000-KrimmM #communication #composition #generative #partial order #reduction

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.

ICALP-2000-HennessyR #data flow #resource management #π-calculus

Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.

WLC-2000-ImrehIP #automaton #commutative #on the

On Commutative Asynchronous Automata (BI, MI, AP), pp. 212–221.

CSCW-2000-CadizGG #collaboration #documentation #using #web

Using Web annotations for asynchronous collaboration around documents (JJC, AG, JG), pp. 309–318.

CSCW-2000-PreguicaMDD #data transformation

Data management support for asynchronous groupware (NMP, JLM, HJLD, SD), pp. 69–78.

KDD-2000-YangWY #mining

Mining asynchronous periodic patterns in time series data (JY, WW, PSY), pp. 275–279.

ECOOP-2000-EugsterGS #abstraction #distributed #interactive

Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction (PTE, RG, JS), pp. 252–276.

TOOLS-PACIFIC-2000-HsiaoLY #corba

An Asynchronous Message Exchange System on CORBA (TYH, WTL, SMY), pp. 14–23.

SAC-2000-ShibusawaMNH #communication

Scatter and Gather Operations on an Asynchronous Communication Model (SS, HM, SN, JiH), pp. 685–691.

SAC-2000-YeoYP #consistency #distributed #memory management #protocol

An Asynchronous Protocol for Release Consistent Distributed Shared Memory Systems (JHY, HYY, TP), pp. 716–721.

ICSE-2000-Edwards #online #quality #question #re-engineering

Can quality graduate software engineering courses really be delivered asynchronously on-line? (SE), pp. 676–679.

CAV-2000-BozgaFGGKM #named #validation

IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.

CAV-2000-Yoneda #named #verification

VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits (TY), pp. 572–575.

DAC-1999-BrunvandNY #design #interface

Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces (EB, SMN, KYY), pp. 104–109.

DAC-1999-HemaniMKPONOEL #design #power management #using

Lowering Power Consumption in Clock by Using Globally Asynchronous Locally Synchronous Design Style (AH, TM, SK, AP, TO, PN, JÖ, PE, DL), pp. 873–878.

DAC-1999-KondratyevCKLY #automation #optimisation #synthesis

Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems (AK, JC, MK, LL, AY), pp. 110–115.

DAC-1999-StevensRBCGKR #performance

CAD Directions for High Performance Asynchronous Circuits (KSS, SR, SMB, JC, RG, MK, MR), pp. 116–121.

SIGMOD-1999-DoRD #distributed #transaction

The Need for Distributed Asynchronous Transactions (LD, PR, PD), pp. 534–535.

FoSSaCS-1999-BorealeNP #formal method #testing

A Theory of “May” Testing for Asynchronous Languages (MB, RDN, RP), pp. 165–179.

TACAS-1999-MontanariP #finite #verification #π-calculus

Finite State Verification for the Asynchronous π-Calculus (UM, MP), pp. 255–269.

DLT-1999-BealC

Asynchronous sliding block maps (MPB, OC), pp. 47–59.

FM-v1-1999-BozgaFGGKM #named #representation #validation

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.

HCI-CCAD-1999-MinnemanH #distributed #sketching

The DrawStream station: a tool for distributed and asynchronous chats about sketches and artifacts (SLM, SRH), pp. 221–225.

HCI-CCAD-1999-NealI #case study #distance #education #experience #learning

Asynchronous distance learning for corporate education: experiences with Lotus LearningSpace (LN, DI), pp. 750–754.

HCI-EI-1999-Biagioni #communication #distance #network

Asynchronous and Distance Communication Over Digital Networks (ESB), pp. 851–855.

ECOOP-1999-GaspariZ #algebra #corba #process #specification

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.

CADE-1999-FeltyHR #abstraction #syntax #using

Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.

DAC-1998-KishinevskyCK #analysis #interface #specification #synthesis

Asynchronous Interface Specification, Analysis and Synthesis (MK, JC, AK), pp. 2–7.

DATE-1998-Prihozhy #scheduling

Asynchronous Scheduling and Allocation (AP), pp. 963–964.

DATE-1998-TanFY #design

The Design of an Asynchronous VHDL Synthesizer (SYT, SBF, WFY), pp. 44–51.

VLDB-1998-OzsuVU #algorithm #consistency

An Asynchronous Avoidance-Based Cache Consistency Algorithm for Client Caching DBMSs (MTÖ, KV, RCU), pp. 440–451.

CSEET-1998-Hislop #education #learning #network

Teaching Via Asynchronous Learning Networks (GWH), pp. 16–35.

FoSSaCS-1998-BorealeNP #process

Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.

WRLA-1998-Bruni #composition #concurrent #logic

A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.

PLDI-1998-FessantPS #distributed #garbage collection #implementation

An Implementation for Complete, Asynchronous, Distributed Garbage Collection (FLF, IP, MS), pp. 152–161.

ICALP-1998-FournetG #calculus

A Hierarchy of Equivalences for Asynchronous Calculi (CF, GG), pp. 844–855.

ICALP-1998-MukundKRS #finite #protocol #robust

Robust Asynchronous Protocols Are Finite-State (MM, KNK, JR, MAS), pp. 188–199.

CSCW-1998-NeuwirthMRCW #communication

Envisioning Communication: Task-Tailorable Representations of Communication in Asynchronous Work (CN, JHM, SHR, RC, GCW), pp. 265–274.

DAC-1997-RoigCPP #automation #generative

Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits (OR, JC, MAP, EP), pp. 620–625.

EDTC-1997-KarthikeyanN #architecture

An asynchronous architecture for digital signal processors (MRK, SKN), p. 615.

ICDAR-1997-HennigMSW #architecture #distributed #named #recognition

DART — A Software Architecture for the Creation of a Distributed Asynchronous Recognition Toolbox (AH, EM, NS, RJW), p. 439–?.

ICALP-1997-Vogler #performance #petri net

Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.

WIA-1997-BrzozowskiN #automaton #behaviour

Automata of Asynchronous Behaviors (JAB, RN), pp. 29–45.

FME-1997-BroyGK #message passing #realtime

Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.

POPL-1997-Palamidessi #power of #π-calculus

Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.

ICSE-1997-SteinRHM #case study #distributed

A Case Study of Distributed, Asynchronous Software Inspection (MS, JR, SJH, VM), pp. 107–117.

DAC-1996-CortadellaKKLY #encoding #synthesis #tool support

Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis (JC, MK, AK, LL, AY), pp. 63–66.

DAC-1996-SemenovY #petri net #using #verification

Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.

DAC-1996-VerlindJL #analysis #performance

Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems (EV, GGdJ, BL), pp. 55–58.

ICALP-1996-AumannB #performance

Efficient Asynchronous Consensus with the Value-Oblivious Adversary Scheduler (YA, MAB), pp. 622–633.

ICALP-1996-JennerV #performance

Fast Asynchronous Systems in Dense Time (LJ, WV), pp. 75–86.

FME-1996-BoerH #communication #nondeterminism #process

Local Nondeterminism in Asynchronously Communicating Processes (FSdB, MvH), pp. 367–384.

CSCW-1996-HiltzT #collaboration #learning #network #online #theory and practice #tutorial

Asynchronous Learning Networks: The Theory and Practice of Collaborative Learning Online (Tutorial) (SRH, MT), p. 5.

DAC-1995-LinJK #optimisation

Hierarchical Optimization of Asynchronous Circuits (BL, GGdJ, TK), pp. 712–717.

DAC-1995-SawasakiYL #implementation

Externally Hazard-Free Implementations of Asynchronous Circuits (MHS, CYC, BL), pp. 718–724.

DAC-1995-VanbekbergenWK #design #validation

A Design and Validation System for Asynchronous Circuits (PV, ARW, KK), pp. 725–730.

DAC-1995-WalkerG #algorithm #distributed #execution #parallel #simulation

Asynchronous, Distributed Event Driven Simulation Algorithm for Execution of VHDL on Parallel Processors (PAW, SG), pp. 144–150.

SAS-1995-KobayashiNY #communication #concurrent #programming language #static analysis

Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.

CIKM-1995-RossBT #approach #named

MessageWorld: A New Approach to Facilitating Asynchronous Group Communications (DER, JJB, KT), pp. 266–273.

CAV-1995-McMillan #using #verification

Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings (KLM), pp. 180–195.

DAC-1994-JongL #communication #concurrent #design #petri net

A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.

DAC-1994-PuriG #approach #clustering #composition #synthesis

A Modular Partitioning Approach for Asynchronous Circuit Synthesis (RP, JG), pp. 63–69.

EDAC-1994-LinKL #approach #synthesis

Direct Synthesis of Hazard-Free Asynchronous Circuits from STGs Based on Lock Relation and BG-Decomposition Approach (KJL, JWK, CSL), pp. 178–183.

EDAC-1994-WuTWL #behaviour #synthesis

A Synthesis Method for Mixed Synchronous / Asynchronous Behavior (TYW, TCT, ACHW, YLL), pp. 277–281.

ESOP-1994-AndersenM #algebra #multi

An Asynchronous Algebra with Multiple Clocks (HRA, MM), pp. 58–73.

STOC-1994-AwerbuchCS #distributed #performance #symmetry

Efficient asynchronous distributed symmetry breaking (BA, LC, MAS), pp. 214–223.

ICALP-1994-KlarlundMS #automaton

Determinizing Asynchronous Automata (NK, MM, MAS), pp. 130–141.

ICALP-1994-Muscholl #automaton #on the

On the Complementation of Büchi Asynchronous Cellular Automata (AM), pp. 142–153.

SAC-1994-ChandH #realtime #using

A real-time contol application using asynchronous remote procedure calls (GC, DMH), pp. 515–517.

FSE-1994-MashayekhiFR #collaboration #named

CAIS: Collaborative Asynchronous Inspection of Software (VM, CF, JR), pp. 21–34.

CADE-1994-SturgillS #first-order #logic #novel #parallel

A Novel Asynchronous Parallelism Scheme for First-Order Logic (DBS, AMS), pp. 484–498.

DAC-1993-ChuML #finite #performance #state machine

An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines (TAC, NM, CKCL), pp. 2–6.

DAC-1993-SiegelMD #automation #design

Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs (PS, GDM, DLD), pp. 61–67.

STOC-1993-AielloAMR #approximate #network

Approximate load balancing on dynamic and asynchronous networks (WA, BA, BMM, SR), pp. 632–641.

STOC-1993-Ben-OrCG

Asynchronous secure computation (MBO, RC, OG), pp. 52–61.

STOC-1993-BorowskyG

Generalized FLP impossibility result for t-resilient asynchronous computations (EB, EG), pp. 91–100.

STOC-1993-CanettiR #performance

Fast asynchronous Byzantine agreement with optimal resilience (RC, TR), pp. 42–51.

STOC-1993-HerlihyS #theorem

The asynchronous computability theorem for t-resilient tasks (MH, NS), pp. 111–120.

HCI-ACS-1993-TeegeB #collaboration

Combining Asynchronous and Synchronous Collaborative Systems (GT, UMB), pp. 516–521.

TRI-Ada-1993-Nickerson #ada #design #representation #using #visual notation

Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control (JVN), pp. 379–384.

SAC-1993-SouzaT #multi #problem

Asynchronous Organizations for Multi-Algorithm Problems (PSdS, ST), pp. 286–293.

DAC-1992-YuS #approach #design

A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs (MLY, PAS), pp. 239–244.

STOC-1992-AwerbuchPPS #adaptation #network

Adapting to Asynchronous Dynamic Networks (Extended Abstract) (BA, BPS, DP, MES), pp. 557–570.

ICALP-1992-GastinP #automaton #infinity

Asynchronous Cellular Automata for Infinite Traces (PG, AP), pp. 583–594.

ICALP-1992-Vogler #communication #petri net #refinement

Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.

ECOOP-1992-GuerraouiCLR #message passing #protocol

Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.

CAV-1992-McMillan #explosion #problem #using #verification

Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits (KLM), pp. 164–177.

IWPTS-1992-VerhaardTKB #on the #testing

On Asynchronous Testing (LV, JT, PK, EB), pp. 55–66.

LICS-1992-BoerKP #algebra #communication #process

Asynchronous Communication in Process Algebra (FSdB, JWK, CP), pp. 137–147.

DAC-1991-BeerelM #testing

Testability of Asynchronous Timed Control Circuits with Delay Assumptions (PAB, THYM), pp. 446–451.

DAC-1991-DeguchiIY #analysis #fault #logic #probability

Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits (YD, NI, SY), pp. 650–655.

DAC-1991-LaddB #finite #multi #state machine #synthesis

Synthesis of Multiple-Input Change Asynchronous Finite state Machines (ML, WPB), pp. 309–314.

DAC-1991-LavagnoKS #algorithm #synthesis

Algorithms for Synthesis of Hazard-Free Asynchronous Circuits (LL, KK, ALSV), pp. 302–308.

DAC-1991-LinL #automation #synthesis

Automatic Synthesis of Asynchronous Circuits (KJL, CSL), pp. 296–301.

SIGMOD-1991-PuL #approach #distributed

Replica Control in Distributed Systems: An Asynchronous Approach (CP, AL), pp. 377–386.

ECOOP-1991-HondaT #calculus #communication

An Object Calculus for Asynchronous Communication (KH, MT), pp. 133–147.

CAV-1991-HamaguchiHY #branch #logic #model checking #using #verification

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic (KH, HH, SY), pp. 410–420.

POPL-1990-Steele #parallel

Making Asynchronous Parallelism Safe for the World (GLSJ), pp. 218–231.

CAV-1990-ProbstL #explosion #partial order #problem #semantics #using

Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems (DKP, HFL), pp. 146–155.

NACLP-1990-BoerP #comparison #concurrent #logic programming

Concurrent Logic Programming: Asynchronism and Language Comparison (FSdB, CP), pp. 175–194.

DAC-1989-IshiuraTY #behaviour #logic #simulation #verification

Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits (NI, MT, SY), pp. 497–502.

HT-1989-Perlman #design #development #evaluation #hypermedia

Asynchronous Design/Evaluation Methods for Hypertext Technology Development (GP), pp. 61–81.

ICALP-1989-LiV #concurrent #how

How to Share Concurrent Asynchronous Wait-Free Variables (Preliminary Version) (ML, PMBV), pp. 488–505.

ICALP-1989-PnueliR #on the #synthesis

On the Synthesis of an Asynchronous Reactive Module (AP, RR), pp. 652–671.

CHI-1989-SiochiH #representation #user interface

Task-oriented representation of asynchronous user interfaces (ACS, HRH), pp. 183–188.

PLDI-1988-LiskovS #distributed #named #performance

Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems (BL, LS), pp. 260–267.

STOC-1988-HalpernV #reasoning

Reasoning about Knowledge and Time in Asynchronous Systems (JYH, MYV), pp. 53–65.

ICALP-1988-CoriM #approximate #automaton #distributed

Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System (RC, YM), pp. 147–161.

ECOOP-1988-GilbertB #database #object-oriented #retrieval

Asynchronous Data Retrieval from an Object-Oriented Database (JPG, LB), pp. 335–349.

POPL-1988-Lam #array #compilation #optimisation #source code

Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.

ICSE-1988-Itzigehl #parallel

A Method for Asynchronous Parallelization (PRI), pp. 4–9.

ICALP-1987-Metivier #algorithm #automaton #graph

An Algorithm for Computing Asynchronous Automata in the Case of Acyclic Non-Commutation Graphs (YM), pp. 226–236.

ICALP-1987-ShyamasundarNP #network #nondeterminism #semantics

Semantics for Nondeterministic Asynchronous Broadcast Networks (RKS, KTN, TP), pp. 72–83.

ICALP-1986-Lai #communication #detection #distributed #termination

A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract) (THL), pp. 196–205.

CSCW-1986-JarrellB #communication

Network-based systems for asynchronous group communication (NFJ, WB), pp. 184–191.

ICALP-1985-Hennessy #algebra #communication #process

An Algebraic Theory of Fair Asynchronous Communicating Processes (MH), pp. 260–269.

DAC-1984-BellonV #functional

Taking into account asynchronous signals in functional test of complex circuits (CB, RV), pp. 490–496.

STOC-1983-Iwama #communication #multi #string

Unique Decomposability of Shuffled Strings: A Formal Treatment of Asynchronous Time-Multiplexed Communication (KI), pp. 374–381.

STOC-1981-ArjomandiFL #difference #performance

A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.

STOC-1979-Peterson #modelling #parallel #trade-off

Time-Space Trade-Offs for Asynchronous Parallel Models: Reducibilities and Equivalences (GLP), pp. 224–230.

ICALP-1978-Toffoli #integration #network

Integration of the Phase-Difference Relations in Asynchronous Sequential Networks (TT), pp. 457–463.