BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (52)
circuit (36)
communic (30)
synchron (30)
distribut (28)

Stem asynchron$ (all stems)

335 papers:

CASECASE-2015-KimCDZF #distributed #flexibility
DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
CASECASE-2015-LuoKNCS #distributed
Asynchronous distributed information leader selection in robotic swarms (WL, SSK, SN, NC, KPS), pp. 606–611.
DATEDATE-2015-MamaghaniGE #named
De-elastisation: from asynchronous dataflows to synchronous circuits (MJM, JDG, DAE), pp. 273–276.
DATEDATE-2015-SaifhashemiHBB #equivalence #logic #tool support #using
Logical equivalence checking of asynchronous circuits using commercial tools (AS, HHH, PB, PAB), pp. 1563–1566.
VLDBVLDB-2015-HanD #execution #graph #parallel
Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDBVLDB-2015-WangBH #datalog #evaluation #fault tolerance #recursion
Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines (JW, MB, DH), pp. 1542–1553.
ESOPESOP-2015-EmmiGMR #analysis #source code
Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
PLDIPLDI-2015-DeligiannisDKLT #analysis #programming #state machine #testing
Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
SASSAS-2015-AlbertGG #analysis #interprocedural #source code
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization (EA, SG, PG), pp. 72–89.
ICALPICALP-v2-2015-KarbasiLS #network #normalisation
Normalization Phenomena in Asynchronous Networks (AK, JL, AS), pp. 688–700.
SFMSFM-2015-CoppoDPY #multi
A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
CSCWCSCW-2015-DornSS #collaboration #learning
Piloting TrACE: Exploring Spatiotemporal Anchored Collaboration in Asynchronous Learning (BD, LBS, AS), pp. 393–403.
ICMLICML-2015-AybatWI #distributed #optimisation
An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.
ECOOPECOOP-2015-KloosMV
Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.
SACSAC-2015-FukudaL #library
A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.
ESEC-FSEESEC-FSE-2015-DesaiQS #testing
Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.
ASPLOSASPLOS-2015-DavidGT #concurrent #data type #scalability
Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures (TD, RG, VT), pp. 631–644.
PPoPPPPoPP-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.
CAVCAV-2015-Durand-Gasselin #model checking
Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
CAVCAV-2015-MajumdarW #bound #model checking #named #source code
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.
ICSTICST-2015-Lorber #modelling #mutation testing #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ASEASE-2014-BasuB #automation #bound #interactive #verification
Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.
CASECASE-2014-ZhaoLH #evaluation #exponential #multi #performance
Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.
DACDAC-2014-HoC #optimisation #performance #pipes and filters
A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
DATEDATE-2014-BishnoiEOT #power management #symmetry #termination
Asynchronous Asymmetrical Write Termination (AAWT) for a low power STT-MRAM (RB, ME, FO, MBT), pp. 1–6.
DATEDATE-2014-NaqviS #resource management
A tree arbiter cell for high speed resource sharing in asynchronous environments (SRN, AS), pp. 1–6.
DATEDATE-2014-ShangZXY #design
Asynchronous design for new on-chip wide dynamic range power electronics (DS, XZ, FX, AY), pp. 1–6.
SIGMODSIGMOD-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.
VLDBVLDB-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.
FASEFASE-2014-FiadeiroL #network
Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.
STOCSTOC-2014-MendesTH #distributed
Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
ICALPICALP-v2-2014-EmekLUW #finite #problem #state machine
Solving the ANTS Problem with Asynchronous Finite State Machines (YE, TL, JU, RW), pp. 471–482.
HCILCT-NLE-2014-RotheSG #video
Analyzing Interactivity in Asynchronous Video Discussions (HR, JS, MG), pp. 226–237.
ICMLICML-c2-2014-LiuWRBS #algorithm #coordination #parallel #probability
An Asynchronous Parallel Stochastic Coordinate Descent Algorithm (JL, SW, CR, VB, SS), pp. 469–477.
ICMLICML-c2-2014-ZhangK #distributed #optimisation
Asynchronous Distributed ADMM for Consensus Optimization (RZ, JTK), pp. 1701–1709.
RecSysRecSys-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.
OOPSLAOOPSLA-2014-Desai0M #proving #reduction #source code #using
Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.
OOPSLAOOPSLA-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.
ICSEICSE-2014-OkurHDD #c# #case study #programming #tool support
A study and toolkit for asynchronous programming in c# (SO, DLH, DD, AvD), pp. 1117–1127.
DATEDATE-2013-LeeVTS #design #energy #performance
Design of low energy, high performance synchronous and asynchronous 64-point FFT (WL, VSV, ART, KSS), pp. 242–247.
DATEDATE-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.
VLDBVLDB-2013-RaeRSSV #online
Online, Asynchronous Schema Change in F1 (IR, ER, JS, SS, RV), pp. 1045–1056.
TACASTACAS-2013-WieringaH #incremental #manycore #satisfiability
Asynchronous Multi-core Incremental SAT Solving (SW, KH), pp. 139–153.
PLDIPLDI-2013-CzaplickiC #functional #programming #user interface
Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.
PLDIPLDI-2013-DesaiGJQRZ #named #programming
P: safe asynchronous event-driven programming (AD, VG, EKJ, SQ, SKR, DZ), pp. 321–332.
STOCSTOC-2013-MendesH #approximate #multi
Multidimensional approximate agreement in Byzantine asynchronous systems (HM, MH), pp. 391–400.
ICALPICALP-v2-2013-GenestGMW #architecture #game studies
Asynchronous Games over Tree Architectures (BG, HG, AM, IW), pp. 275–286.
LATALATA-2013-DelzannoT #complexity #decidability #network #verification
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (GD, RT), pp. 238–249.
LATALATA-2013-Otto #automaton
Asynchronous PC Systems of Pushdown Automata (FO), pp. 456–467.
IFLIFL-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.
POPLPOPL-2013-CarboneM #multi #named #programming
Deadlock-freedom-by-design: multiparty asynchronous global programming (MC, FM), pp. 263–274.
HPDCHPDC-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.
SOSPSOSP-2013-ChandraKZ #web #web service
Asynchronous intrusion recovery for interconnected web services (RC, TK, NZ), pp. 213–227.
CAVCAV-2013-EsparzaGM #verification
Parameterized Verification of Asynchronous Shared-Memory Systems (JE, PG, RM), pp. 124–140.
DATEDATE-2012-0002EGB #performance #using
Area efficient asynchronous SDM routers using 2-stage Clos switches (WS, DAE, JDG, WJB), pp. 1495–1500.
DATEDATE-2012-Chaturvedi #static analysis
Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.
DATEDATE-2012-HansenS #multi #pipes and filters #resource management
Multi-token resource sharing for pipelined asynchronous systems (JH, MS), pp. 1191–1196.
SASSAS-2012-EmmiL #distributed #source code
Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
CHICHI-2012-BruunS #testing #usability
The effect of task assignments and instruction types on remote asynchronous usability testing (AB, JS), pp. 2117–2126.
CHICHI-2012-InkpenDRHJ #video
Video kids: augmenting close friendships with asynchronous video conversations in videopal (KI, HD, AR, AH, PJ), pp. 2387–2396.
CHICHI-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.
CSCWCSCW-2012-BarksdaleICHJRV #distributed #thread #video
Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.
CSCWCSCW-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.
ICPRICPR-2012-NakazawaMMNHYY #multi #re-engineering #using
Dynamic scene reconstruction using asynchronous multiple Kinects (MN, IM, YM, HN, HH, HY, YY), pp. 469–472.
ECOOPECOOP-2012-BiermanRMMT #c# #formal method #game studies
Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
FSEFSE-2012-EmmiLQ #source code
Asynchronous programs with prioritized task-buffers (ME, AL, SQ), p. 48.
CGOCGO-2012-ZhangGHLMA #fault tolerance #runtime
Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.
CSLCSL-2012-DeYoungCPT #communication #linear #logic #reduction
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
VMCAIVMCAI-2012-BasuBO #communication #verification
Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.
VMCAIVMCAI-2012-KleinPP #effectiveness #specification #synthesis
Effective Synthesis of Asynchronous Systems from GR(1) Specifications (UK, NP, AP), pp. 283–298.
VMCAIVMCAI-2012-MorseVMM #c #message passing #modelling #source code
Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
ASEASE-2011-BotincanDDP #manycore #memory management
Safe asynchronous multicore memory operations (MB, MD, AFD, MJP), pp. 153–162.
DATEDATE-2011-AgyekumN #communication #hardware #robust
A delay-insensitive bus-invert code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 1370–1375.
DATEDATE-2011-OnizawaMH #communication #monitoring
Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring (NO, AM, TH), pp. 776–781.
PLDIPLDI-2011-ZiarekSJ #composition
Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.
DLTDLT-2011-ChandesrisDFM #aspect-oriented #automaton
Computational Aspects of Asynchronous Cellular Automata (JC, AD, EF, LM), pp. 466–468.
SEFMSEFM-2011-NorooziKMW #consistency #testing
Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
OnwardOnward-2011-NevesGF #stack
Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.
OOPSLAOOPSLA-2011-AftandilianGVY
Asynchronous assertions (EA, SZG, MTV, EY), pp. 275–288.
OOPSLAOOPSLA-2011-HarrisAIM #composition #named
AC: composable asynchronous IO for native languages (TH, MA, RI, RM), pp. 903–920.
PADLPADL-2011-ChristakisS #detection #fault #message passing #static analysis #using
Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
PADLPADL-2011-SymePL #f# #programming
The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.
PPoPPPPoPP-2011-BotincanDDP #automation #memory management #proving #safety
Automatic safety proofs for asynchronous memory operations (MB, MD, AFD, MJP), pp. 313–314.
VMCAIVMCAI-2011-Dill
Are Cells Asynchronous Circuits? — (Invited Talk) (DLD), p. 1.
CASECASE-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.
CASECASE-2010-SchirruPN10a #multi #process #statistics
Multilevel statistical process control of asynchronous multi-stream processes in semiconductor manufacturing (AS, SP, GDN), pp. 57–62.
DATEDATE-2010-AgyekumN #communication #hardware #robust
An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.
DATEDATE-2010-ThonnartVC #framework #integration #power management
A fully-asynchronous low-power framework for GALS NoC integration (YT, PV, FC), pp. 33–38.
WRLAWRLA-2010-KatelmanKM #analysis #concurrent #semantics
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (MK, SK, JM), pp. 140–156.
ICALPICALP-v2-2010-BunnO #network
Asynchronous Throughput-Optimal Routing in Malicious Networks (PB, RO), pp. 236–248.
ICALPICALP-v2-2010-GenestGMW #automaton
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata (BG, HG, AM, IW), pp. 52–63.
ICEISICEIS-SAIC-2010-Kristensen #abstraction #collaboration #message passing #using
Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.
POPLPOPL-2010-GershenfeldDCKGDGS #automaton #configuration management #logic
Reconfigurable asynchronous logic automata: (RALA) (NG, DD, KC, AK, FG, EDD, SG, PSN), pp. 1–6.
SACSAC-2010-CorreiaVL #process
Asynchronous Byzantine consensus with 2f+1 processes (MC, GSV, LCL), pp. 475–480.
PPoPPPPoPP-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.
PPoPPPPoPP-2010-LiuL #algorithm #locality #parallel
Improving parallelism and locality with asynchronous algorithms (LL, ZL), pp. 213–222.
VMCAIVMCAI-2010-Dubrovin #bound #reachability
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.
SIGMODSIGMOD-2009-AgrawalSCSR #database #maintenance
Asynchronous view maintenance for VLSD databases (PA, AS, BFC, US, RR), pp. 179–192.
ESOPESOP-2009-MostrousYH #commutative #type system
Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.
FMFM-2009-JohnsenKY #composition #concurrent #distributed #evolution
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.
SFMSFM-2009-CarboneYH #exception #interactive #multi
Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.
CHICHI-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.
CAiSECAiSE-2009-GuermoucheG #analysis #web #web service
Asynchronous Timed Web Service-Aware Choreography Analysis (NG, CG), pp. 364–378.
POPLPOPL-2009-GantyMR #liveness #source code #verification
Verifying liveness for asynchronous programs (PG, RM, AR), pp. 102–113.
ESEC-FSEESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code
Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.
PPoPPPPoPP-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.
MBTMBT-2009-SalasK #automation #testing
Automated Software Testing of Asynchronous Systems (PAPS, PK), pp. 3–19.
DATEDATE-2008-OggVAYDB
Serialized Asynchronous Links for NoC (SO, EV, BMAH, AY, CD, LB), pp. 1003–1008.
ICALPICALP-C-2008-HirtNP #communication #multi #polynomial
Asynchronous Multi-Party Computation with Quadratic Communication (MH, JBN, BP), pp. 473–485.
CHICHI-2008-LukHA
Asynchronous remote medical consultation for Ghana (RL, MH, PMA), pp. 743–752.
POPLPOPL-2008-HondaYC #multi
Multiparty asynchronous session types (KH, NY, MC), pp. 273–284.
HPDCHPDC-2008-DocanPK #named
DART: a substrate for high speed asynchronous data IO (CD, MP, SK), pp. 219–220.
DACDAC-2007-ChelceaVG #self
Self-Resetting Latches for Asynchronous Micro-Pipelines (TC, GV, SCG), pp. 986–989.
DATEDATE-2007-DuboisMAWLW #analysis #embedded #quality
Test quality analysis and improvement for an embedded asynchronous FIFO (TD, EJM, MA, PW, EL, CW), pp. 859–864.
DATEDATE-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.
DATEDATE-2007-WielageMAW #design #embedded #performance
Design and DfT of a high-speed area-efficient embedded asynchronous FIFO (PW, EJM, MA, CW), pp. 853–858.
ICDARICDAR-2007-SchlapbachB #identification #online
Fusing Asynchronous Feature Streams for On-line Writer Identification (AS, HB), pp. 103–107.
ITiCSEITiCSE-2007-Bower #analysis #concept #independence #online
Independent, synchronous and asynchronous an analysis of approaches to online concept formation (MB), pp. 141–145.
TACASTACAS-2007-YuCL #bound #diagrams #reachability #using
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
STOCSTOC-2007-AttiyaC #bound #random
Tight bounds for asynchronous randomized consensus (HA, KC), pp. 155–164.
CHICHI-2007-HeerVW #collaboration #visualisation
Voyagers and voyeurs: supporting asynchronous collaborative information visualization (JH, FBV, MW), pp. 1029–1038.
HCIOCSC-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.
ICEISICEIS-SAIC-2007-BentoP #collaboration #editing #mobile
Supporting Asynchronous Collaborative Editing in Mobile Computing Environments (MB, NMP), pp. 343–350.
ICEISICEIS-SAIC-2007-IgnatO #documentation #editing #flexibility #xml
Flexible Reconciliation of XML Documents in Asynchronous Editing (CLI, GO), pp. 359–368.
POPLPOPL-2007-JhalaM #analysis #interprocedural #source code
Interprocedural analysis of asynchronous programs (RJ, RM), pp. 339–350.
ESEC-FSEESEC-FSE-2007-ChandrasekaranCJR #programming
Programming asynchronous layers with CLARITY (PC, CLC, JMJ, SKR), pp. 65–74.
HPDCHPDC-2007-LiP #framework #parallel
A computational infrastructure for grid-based asynchronous parallel applications (ZL, MP), pp. 229–230.
DACDAC-2006-CarmonaC #encoding #scalability
State encoding of large asynchronous controllers (JC, JC), pp. 939–944.
DACDAC-2006-JayakumarGGK #approach #design
A PLA based asynchronous micropipelining approach for subthreshold circuit design (NJ, RG, BG, SPK), pp. 419–424.
DATEDATE-2006-AlmukhaizimM #concurrent #detection #fault
Berger code-based concurrent error detection in asynchronous burst-mode machines (SA, YM), pp. 71–72.
DATEDATE-DF-2006-CampobelloCCM #network
GALS networks on chip: a new solution for asynchronous delay-insensitive links (GC, MC, CC, DM), pp. 160–165.
FASEFASE-2006-DamianLM #empirical #requirements
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings (DED, FL, TM), pp. 155–169.
FoSSaCSFoSSaCS-2006-Gorla #communication #on the #power of
On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
SEFMSEFM-2006-Kapoor #formal method #modelling #pipes and filters #verification
Formal Modelling and Verification of an Asynchronous DLX Pipeline (HKK), pp. 118–127.
LOPSTRLOPSTR-2006-ScheweF #synthesis
Synthesis of Asynchronous Systems (SS, BF), pp. 127–142.
ICSEICSE-2006-DamianLM #effectiveness #requirements
The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations (DED, FL, TM), pp. 917–920.
HPDCHPDC-2006-AliL #performance #using
Improving the Performance of Remote I/O Using Asynchronous Primitives (NA, ML), pp. 218–228.
HPDCHPDC-2006-CicottiB #programming
Short Paper: Asynchronous programming with Tarragon (PC, SBB), pp. 375–376.
CAVCAV-2006-SenV #model checking #parallel #source code #thread
Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.
DACDAC-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.
DACDAC-2005-MonnetRL #evaluation #fault
Asynchronous circuits transient faults sensitivity evaluation (YM, MR, RL), pp. 863–868.
DATEDATE-2005-AlmukhaizimM #concurrent #detection #fault
Concurrent Error Detection in Asynchronous Burst-Mode Controllers (SA, YM), pp. 1272–1277.
DATEDATE-2005-BouesseRDG #formal method
DPA on Quasi Delay Insensitive Asynchronous Circuits: Formalization and Improvement (GFB, MR, SD, FG), pp. 424–429.
DATEDATE-2005-DasguptaY #architecture #modelling #verification
Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures (SD, AY), pp. 568–569.
DATEDATE-2005-HuotDFR #architecture #logic #multi
FPGA Architecture for Multi-Style Asynchronous Logic (NH, HD, LF, MR), pp. 32–33.
PODSPODS-2005-AbiteboulAHM #datalog #exclamation
Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.
WRLAWRLA-2004-JohnsenOA05 #concurrent #runtime
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.
STOCSTOC-2005-ChlebusK #memory management
Cooperative asynchronous update of shared memory (BSC, DRK), pp. 733–739.
ICALPICALP-2005-CrescenzoK #communication
Asynchronous Perfectly Secure Communication over One-Time Pads (GDC, AK), pp. 216–227.
ICALPICALP-2005-DelzannoG #composition #constraints #process #theorem proving #verification
Compositional Verification of Asynchronous Processes via Constraint Solving (GD, MG), pp. 1239–1250.
ICALPICALP-2005-KursaweS
Optimistic Asynchronous Atomic Broadcast (KK, VS), pp. 204–215.
FMFM-2005-LeiI #approach #communication #protocol
An Approach to Unfolding Asynchronous Communication Protocols (YL, SPI), pp. 334–349.
LCTESLCTES-2005-ZhuM #feedback #scalability #scheduling
Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling (YZ, FM), pp. 203–212.
CAVCAV-2005-PastorPS #concurrent #named #verification
TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems (EP, MAP, MS), pp. 424–428.
LICSLICS-2005-Mellies #game studies #linear #logic
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (PAM), pp. 386–395.
DACDAC-2004-DavareLKS #implementation #performance #specification
The best of both worlds: the efficient asynchronous implementation of synchronous specifications (AD, KL, AK, ALSV), pp. 588–591.
DACDAC-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.
DATEDATE-v1-2004-BurnsSKY #synthesis #tool support #using
An Asynchronous Synthesis Toolset Using Verilog (FPB, DS, AK, AY), pp. 724–725.
DATEDATE-v1-2004-EfthymiouSE #automation #generative
Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits (AE, CPS, DAE), pp. 672–673.
DATEDATE-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.
DATEDATE-v1-2004-MousaviGTSB #design #framework #modelling #validation
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
DATEDATE-v2-2004-BranoverKG #design
Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones (AB, RK, RG), pp. 870–877.
DATEDATE-v2-2004-CortadellaKLLS #approach #automation
From Synchronous to Asynchronous: An Automatic Approach (JC, AK, LL, KL, CPS), pp. 1368–1369.
SASSAS-2004-ThompsonM #abstract interpretation
Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.
STOCSTOC-2004-ChlebusKS #worst-case
Collective asynchronous reading with polylogarithmic worst-case overhead (BSC, DRK, AAS), pp. 321–330.
FLOPSFLOPS-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.
SEFMSEFM-2004-JohnsenO #communication #concurrent #distributed
An Asynchronous Communication Model for Distributed Concurrent Objects (EBJ, OO), pp. 188–197.
SFMSFM-2004-BihlerV #performance #petri net
Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.
CSCWCSCW-2004-WengG #collaboration
Asynchronous collaborative writing through annotations (CW, JHG), pp. 578–581.
ICEISICEIS-v2-2004-ValleP #communication
Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.
KRKR-2004-Halpern
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (JYH), pp. 12–22.
POPLPOPL-2004-CaromelHS
Asynchronous and deterministic objects (DC, LH, BPS), pp. 123–134.
HPDCHPDC-2004-VijayakumarP #data type #evaluation #performance
Performance Evaluation of Rate-Based Join Window Sizing for Asynchronous Data Streams (NNV, BP), pp. 260–261.
LCTESLCTES-2004-KumarSD #concurrent #integration #performance #thread
Asynchronous software thread integration for efficient software (NJK, SS, AGD), pp. 37–46.
ASEASE-2003-HendricksonDT #approach #architecture #comprehension
An Approach for Tracing and Understanding Asynchronous Architectures (SAH, EMD, RNT), pp. 318–322.
DACDAC-2003-AmdeBS #automation #design
Automating the design of an asynchronous DLX microprocessor (MA, IB, CPS), pp. 502–507.
DACDAC-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.
DACDAC-2003-WongM #composition #data-driven #synthesis
High-level synthesis of asynchronous systems by data-driven decomposition (CGW, AJM), pp. 508–513.
DATEDATE-2003-FazelTR #design #logic #named #visualisation
PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.
DATEDATE-2003-MadalinskiBKY #design #visualisation
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.
DATEDATE-2003-SokolovBY #optimisation
STG Optimisation in the Direct Mapping of Asynchronous Circuits (DS, AVB, AY), pp. 10932–10939.
AdaEuropeAdaEurope-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.
ICEISICEIS-v1-2003-FatoohiG #distributed #execution #using #web
A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.
ICEISICEIS-v4-2003-Tagg
Software Agents to Support Administration in Asynchronous Team Environments (RT), pp. 119–126.
KDDKDD-2003-GuhaGK #correlation #data type
Correlating synchronous and asynchronous data streams (SG, DG, NK), pp. 529–534.
CAVCAV-2003-CiardoS #model checking
Structural Symbolic CTL Model Checking of Asynchronous Systems (GC, RS), pp. 40–53.
DACDAC-2002-ChelceaN #optimisation #scalability
Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems (TC, SMN), pp. 405–410.
DACDAC-2002-KondratyevL #design #tool support
Design of asynchronous circuits by synchronous CAD tools (AK, KL), pp. 411–414.
DACDAC-2002-Sotiriou #implementation #using
Implementing asynchronous circuits using a conventional EDA tool-flow (CPS), pp. 415–418.
DATEDATE-2002-FerrettiB #encoding #pipes and filters #using
Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding (MF, PAB), pp. 1008–1015.
DATEDATE-2002-OzdagBSN #performance #pipes and filters
High-Speed Non-Linear Asynchronous Pipelines (ROO, PAB, MS, SMN), pp. 1000–1007.
DATEDATE-2002-PenzesM #energy #estimation
An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor (PIP, AJM), pp. 640–647.
DATEDATE-2002-RigaudFRQ #communication #design #modelling
High-Level Modeling and Design of Asynchronous Arbiters for On-Chip Communication Systems (JBR, LF, MR, JQ), p. 1090.
DATEDATE-2002-TugsinavisutB #pipes and filters
Control Circuit Templates for Asynchronous Bundled-Data Pipelines (ST, PAB), p. 1098.
VLDBVLDB-2002-KounevB #data access
Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services (SK, APB), pp. 574–585.
TACASTACAS-2002-FersmanPY #automaton #decidability #process #scheduling
Timed Automata with Asynchronous Processes: Schedulability and Decidability (EF, PP, WY), pp. 67–82.
WRLAWRLA-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.
DLTDLT-2002-Imreh #automaton
Some Remarks on Asynchronous Automata (BI), pp. 290–296.
FMFME-2002-HendersonP #classification #communication #verification
The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.
POPLPOPL-2002-Manohar #design #scalability
Scalable formal design methods for asynchronous VLSI (RM), pp. 245–246.
CAVCAV-2002-RajamaniR #consistency #message passing #modelling
Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
DACDAC-2001-KudlugiST #functional #multi #scheduling #verification
Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.
DACDAC-2001-TheobaldN #distributed #optimisation #synthesis
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control (MT, SMN), pp. 263–268.
DATEDATE-2001-GarnicaLH #power management #pseudo
A pseudo delay-insensitive timing model to synthesizing low-power asynchronous circuits (OG, JL, RH), p. 810.
PLDIPLDI-2001-MarlowJMR #exception #haskell
Asynchronous Exceptions in Haskell (SM, SLPJ, AM, JHR), pp. 274–285.
STOCSTOC-2001-MostefaouiRR #distributed
Conditions on input vectors for consensus solvability in asynchronous distributed systems (AM, SR, MR), pp. 153–162.
ICALPICALP-2001-Baum-Waidner #contract #multi
Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.
TOOLSTOOLS-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.
SACSAC-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.
SIGMODSIGMOD-2000-SalemBCL #how #incremental #maintenance
How To Roll a Join: Asynchronous Incremental View Maintenance (KS, KSB, RC, BGL), pp. 129–140.
FoSSaCSFoSSaCS-2000-HerescuP #probability #π-calculus
Probabilistic Asynchronous π-Calculus (OMH, CP), pp. 146–160.
FoSSaCSFoSSaCS-2000-Merro #calculus #locality
Locality and Polyadicity in Asynchronous Name-Passing Calculi (MM), pp. 238–251.
FoSSaCSFoSSaCS-2000-QuagliaW #mobile #on the #process
On Synchronous and Asynchronous Mobile Processes (PQ, DW), pp. 283–296.
TACASTACAS-2000-Bultan #concurrent #constraints #evaluation #model checking
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems (TB), pp. 441–455.
TACASTACAS-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.
ICALPICALP-2000-HennessyR #data flow #resource management #π-calculus
Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.
WLCWLC-2000-ImrehIP #automaton #commutative #on the
On Commutative Asynchronous Automata (BI, MI, AP), pp. 212–221.
CSCWCSCW-2000-CadizGG #collaboration #documentation #using #web
Using Web annotations for asynchronous collaboration around documents (JJC, AG, JG), pp. 309–318.
CSCWCSCW-2000-PreguicaMDD #data transformation
Data management support for asynchronous groupware (NMP, JLM, HJLD, SD), pp. 69–78.
KDDKDD-2000-YangWY #mining
Mining asynchronous periodic patterns in time series data (JY, WW, PSY), pp. 275–279.
ECOOPECOOP-2000-EugsterGS #abstraction #distributed #interactive
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction (PTE, RG, JS), pp. 252–276.
TOOLSTOOLS-PACIFIC-2000-HsiaoLY #corba
An Asynchronous Message Exchange System on CORBA (TYH, WTL, SMY), pp. 14–23.
SACSAC-2000-ShibusawaMNH #communication
Scatter and Gather Operations on an Asynchronous Communication Model (SS, HM, SN, JiH), pp. 685–691.
SACSAC-2000-YeoYP #consistency #distributed #memory management #protocol
An Asynchronous Protocol for Release Consistent Distributed Shared Memory Systems (JHY, HYY, TP), pp. 716–721.
ICSEICSE-2000-Edwards #online #quality #question #re-engineering
Can quality graduate software engineering courses really be delivered asynchronously on-line? (SE), pp. 676–679.
CAVCAV-2000-BozgaFGGKM #named #validation
IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.
CAVCAV-2000-Yoneda #named #verification
VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits (TY), pp. 572–575.
DACDAC-1999-BrunvandNY #design #interface
Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces (EB, SMN, KYY), pp. 104–109.
DACDAC-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, , PE, DL), pp. 873–878.
DACDAC-1999-KondratyevCKLY #automation #optimisation #synthesis
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems (AK, JC, MK, LL, AY), pp. 110–115.
DACDAC-1999-StevensRBCGKR #performance
CAD Directions for High Performance Asynchronous Circuits (KSS, SR, SMB, JC, RG, MK, MR), pp. 116–121.
SIGMODSIGMOD-1999-DoRD #distributed #transaction
The Need for Distributed Asynchronous Transactions (LD, PR, PD), pp. 534–535.
FoSSaCSFoSSaCS-1999-BorealeNP #formal method #testing
A Theory of “May” Testing for Asynchronous Languages (MB, RDN, RP), pp. 165–179.
TACASTACAS-1999-MontanariP #finite #verification #π-calculus
Finite State Verification for the Asynchronous π-Calculus (UM, MP), pp. 255–269.
DLTDLT-1999-BealC
Asynchronous sliding block maps (MPB, OC), pp. 47–59.
FMFM-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.
HCIHCI-CCAD-1999-MinnemanH #distributed #sketching
The DrawStream station: a tool for distributed and asynchronous chats about sketches and artifacts (SLM, SRH), pp. 221–225.
HCIHCI-CCAD-1999-NealI #case study #distance #education #experience #learning
Asynchronous distance learning for corporate education: experiences with Lotus LearningSpace (LN, DI), pp. 750–754.
HCIHCI-EI-1999-Biagioni #communication #distance #network
Asynchronous and Distance Communication Over Digital Networks (ESB), pp. 851–855.
ECOOPECOOP-1999-GaspariZ #algebra #corba #process #specification
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.
CADECADE-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.
DACDAC-1998-KishinevskyCK #analysis #interface #specification #synthesis
Asynchronous Interface Specification, Analysis and Synthesis (MK, JC, AK), pp. 2–7.
DATEDATE-1998-Prihozhy #scheduling
Asynchronous Scheduling and Allocation (AP), pp. 963–964.
DATEDATE-1998-TanFY #design
The Design of an Asynchronous VHDL Synthesizer (SYT, SBF, WFY), pp. 44–51.
VLDBVLDB-1998-OzsuVU #algorithm #consistency
An Asynchronous Avoidance-Based Cache Consistency Algorithm for Client Caching DBMSs (MTÖ, KV, RCU), pp. 440–451.
CSEETCSEET-1998-Hislop #education #learning #network
Teaching Via Asynchronous Learning Networks (GWH), pp. 16–35.
FoSSaCSFoSSaCS-1998-BorealeNP #process
Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.
WRLAWRLA-1998-Bruni #composition #concurrent #logic
A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.
PLDIPLDI-1998-FessantPS #distributed #garbage collection #implementation
An Implementation for Complete, Asynchronous, Distributed Garbage Collection (FLF, IP, MS), pp. 152–161.
ICALPICALP-1998-FournetG #calculus
A Hierarchy of Equivalences for Asynchronous Calculi (CF, GG), pp. 844–855.
ICALPICALP-1998-MukundKRS #finite #protocol #robust
Robust Asynchronous Protocols Are Finite-State (MM, KNK, JR, MAS), pp. 188–199.
CSCWCSCW-1998-NeuwirthMRCW #communication
Envisioning Communication: Task-Tailorable Representations of Communication in Asynchronous Work (CN, JHM, SHR, RC, GCW), pp. 265–274.
DACDAC-1997-RoigCPP #automation #generative
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits (OR, JC, MAP, EP), pp. 620–625.
DATEEDTC-1997-KarthikeyanN #architecture
An asynchronous architecture for digital signal processors (MRK, SKN), p. 615.
ICDARICDAR-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–?.
ICALPICALP-1997-Vogler #performance #petri net
Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.
CIAAWIA-1997-BrzozowskiN #automaton #behaviour
Automata of Asynchronous Behaviors (JAB, RN), pp. 29–45.
FMFME-1997-BroyGK #message passing #realtime
Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
POPLPOPL-1997-Palamidessi #power of #π-calculus
Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.
ICSEICSE-1997-SteinRHM #case study #distributed
A Case Study of Distributed, Asynchronous Software Inspection (MS, JR, SJH, VM), pp. 107–117.
DACDAC-1996-CortadellaKKLY #encoding #synthesis #tool support
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis (JC, MK, AK, LL, AY), pp. 63–66.
DACDAC-1996-SemenovY #petri net #using #verification
Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.
DACDAC-1996-VerlindJL #analysis #performance
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems (EV, GGdJ, BL), pp. 55–58.
ICALPICALP-1996-AumannB #performance
Efficient Asynchronous Consensus with the Value-Oblivious Adversary Scheduler (YA, MAB), pp. 622–633.
ICALPICALP-1996-JennerV #performance
Fast Asynchronous Systems in Dense Time (LJ, WV), pp. 75–86.
FMFME-1996-BoerH #communication #nondeterminism #process
Local Nondeterminism in Asynchronously Communicating Processes (FSdB, MvH), pp. 367–384.
CSCWCSCW-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.
DACDAC-1995-LinJK #optimisation
Hierarchical Optimization of Asynchronous Circuits (BL, GGdJ, TK), pp. 712–717.
DACDAC-1995-SawasakiYL #implementation
Externally Hazard-Free Implementations of Asynchronous Circuits (MHS, CYC, BL), pp. 718–724.
DACDAC-1995-VanbekbergenWK #design #validation
A Design and Validation System for Asynchronous Circuits (PV, ARW, KK), pp. 725–730.
DACDAC-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.
SASSAS-1995-KobayashiNY #communication #concurrent #programming language #static analysis
Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.
CIKMCIKM-1995-RossBT #approach #named
MessageWorld: A New Approach to Facilitating Asynchronous Group Communications (DER, JJB, KT), pp. 266–273.
CAVCAV-1995-McMillan #using #verification
Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings (KLM), pp. 180–195.
DACDAC-1994-JongL #communication #concurrent #design #petri net
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.
DACDAC-1994-PuriG #approach #clustering #composition #synthesis
A Modular Partitioning Approach for Asynchronous Circuit Synthesis (RP, JG), pp. 63–69.
DATEEDAC-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.
DATEEDAC-1994-WuTWL #behaviour #synthesis
A Synthesis Method for Mixed Synchronous / Asynchronous Behavior (TYW, TCT, ACHW, YLL), pp. 277–281.
ESOPESOP-1994-AndersenM #algebra #multi
An Asynchronous Algebra with Multiple Clocks (HRA, MM), pp. 58–73.
STOCSTOC-1994-AwerbuchCS #distributed #performance #symmetry
Efficient asynchronous distributed symmetry breaking (BA, LC, MAS), pp. 214–223.
ICALPICALP-1994-KlarlundMS #automaton
Determinizing Asynchronous Automata (NK, MM, MAS), pp. 130–141.
ICALPICALP-1994-Muscholl #automaton #on the
On the Complementation of Büchi Asynchronous Cellular Automata (AM), pp. 142–153.
SACSAC-1994-ChandH #realtime #using
A real-time contol application using asynchronous remote procedure calls (GC, DMH), pp. 515–517.
FSEFSE-1994-MashayekhiFR #collaboration #named
CAIS: Collaborative Asynchronous Inspection of Software (VM, CF, JR), pp. 21–34.
CADECADE-1994-SturgillS #first-order #logic #novel #parallel
A Novel Asynchronous Parallelism Scheme for First-Order Logic (DBS, AMS), pp. 484–498.
DACDAC-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.
DACDAC-1993-SiegelMD #automation #design
Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs (PS, GDM, DLD), pp. 61–67.
STOCSTOC-1993-AielloAMR #approximate #network
Approximate load balancing on dynamic and asynchronous networks (WA, BA, BMM, SR), pp. 632–641.
STOCSTOC-1993-Ben-OrCG
Asynchronous secure computation (MBO, RC, OG), pp. 52–61.
STOCSTOC-1993-BorowskyG
Generalized FLP impossibility result for t-resilient asynchronous computations (EB, EG), pp. 91–100.
STOCSTOC-1993-CanettiR #performance
Fast asynchronous Byzantine agreement with optimal resilience (RC, TR), pp. 42–51.
STOCSTOC-1993-HerlihyS #theorem
The asynchronous computability theorem for t-resilient tasks (MH, NS), pp. 111–120.
HCIHCI-ACS-1993-TeegeB #collaboration
Combining Asynchronous and Synchronous Collaborative Systems (GT, UMB), pp. 516–521.
AdaTRI-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.
SACSAC-1993-SouzaT #multi #problem
Asynchronous Organizations for Multi-Algorithm Problems (PSdS, ST), pp. 286–293.
DACDAC-1992-YuS #approach #design
A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs (MLY, PAS), pp. 239–244.
STOCSTOC-1992-AwerbuchPPS #adaptation #network
Adapting to Asynchronous Dynamic Networks (Extended Abstract) (BA, BPS, DP, MES), pp. 557–570.
ICALPICALP-1992-GastinP #automaton #infinity
Asynchronous Cellular Automata for Infinite Traces (PG, AP), pp. 583–594.
ICALPICALP-1992-Vogler #communication #petri net #refinement
Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
ECOOPECOOP-1992-GuerraouiCLR #message passing #protocol
Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.
CAVCAV-1992-McMillan #explosion #problem #using #verification
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits (KLM), pp. 164–177.
ICTSSIWPTS-1992-VerhaardTKB #on the #testing
On Asynchronous Testing (LV, JT, PK, EB), pp. 55–66.
LICSLICS-1992-BoerKP #algebra #communication #process
Asynchronous Communication in Process Algebra (FSdB, JWK, CP), pp. 137–147.
DACDAC-1991-BeerelM #testing
Testability of Asynchronous Timed Control Circuits with Delay Assumptions (PAB, THYM), pp. 446–451.
DACDAC-1991-DeguchiIY #analysis #fault #logic #probability
Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits (YD, NI, SY), pp. 650–655.
DACDAC-1991-LaddB #finite #multi #state machine #synthesis
Synthesis of Multiple-Input Change Asynchronous Finite state Machines (ML, WPB), pp. 309–314.
DACDAC-1991-LavagnoKS #algorithm #synthesis
Algorithms for Synthesis of Hazard-Free Asynchronous Circuits (LL, KK, ALSV), pp. 302–308.
DACDAC-1991-LinL #automation #synthesis
Automatic Synthesis of Asynchronous Circuits (KJL, CSL), pp. 296–301.
SIGMODSIGMOD-1991-PuL #approach #distributed
Replica Control in Distributed Systems: An Asynchronous Approach (CP, AL), pp. 377–386.
ECOOPECOOP-1991-HondaT #calculus #communication
An Object Calculus for Asynchronous Communication (KH, MT), pp. 133–147.
CAVCAV-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.
POPLPOPL-1990-Steele #parallel
Making Asynchronous Parallelism Safe for the World (GLSJ), pp. 218–231.
CAVCAV-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.
ICLPNACLP-1990-BoerP #comparison #concurrent #logic programming
Concurrent Logic Programming: Asynchronism and Language Comparison (FSdB, CP), pp. 175–194.
DACDAC-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.
HTHT-1989-Perlman #design #development #evaluation #hypermedia
Asynchronous Design/Evaluation Methods for Hypertext Technology Development (GP), pp. 61–81.
ICALPICALP-1989-LiV #concurrent #how
How to Share Concurrent Asynchronous Wait-Free Variables (Preliminary Version) (ML, PMBV), pp. 488–505.
ICALPICALP-1989-PnueliR #on the #synthesis
On the Synthesis of an Asynchronous Reactive Module (AP, RR), pp. 652–671.
CHICHI-1989-SiochiH #representation #user interface
Task-oriented representation of asynchronous user interfaces (ACS, HRH), pp. 183–188.
PLDIPLDI-1988-LiskovS #distributed #named #performance
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems (BL, LS), pp. 260–267.
STOCSTOC-1988-HalpernV #reasoning
Reasoning about Knowledge and Time in Asynchronous Systems (JYH, MYV), pp. 53–65.
ICALPICALP-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.
ECOOPECOOP-1988-GilbertB #database #object-oriented #retrieval
Asynchronous Data Retrieval from an Object-Oriented Database (JPG, LB), pp. 335–349.
POPLPOPL-1988-Lam #array #compilation #optimisation #source code
Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.
ICSEICSE-1988-Itzigehl #parallel
A Method for Asynchronous Parallelization (PRI), pp. 4–9.
ICALPICALP-1987-Metivier #algorithm #automaton #graph
An Algorithm for Computing Asynchronous Automata in the Case of Acyclic Non-Commutation Graphs (YM), pp. 226–236.
ICALPICALP-1987-ShyamasundarNP #network #nondeterminism #semantics
Semantics for Nondeterministic Asynchronous Broadcast Networks (RKS, KTN, TP), pp. 72–83.
ICALPICALP-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.
CSCWCSCW-1986-JarrellB #communication
Network-based systems for asynchronous group communication (NFJ, WB), pp. 184–191.
ICALPICALP-1985-Hennessy #algebra #communication #process
An Algebraic Theory of Fair Asynchronous Communicating Processes (MH), pp. 260–269.
DACDAC-1984-BellonV #functional
Taking into account asynchronous signals in functional test of complex circuits (CB, RV), pp. 490–496.
STOCSTOC-1983-Iwama #communication #multi #string
Unique Decomposability of Shuffled Strings: A Formal Treatment of Asynchronous Time-Multiplexed Communication (KI), pp. 374–381.
STOCSTOC-1981-ArjomandiFL #difference #performance
A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.
STOCSTOC-1979-Peterson #modelling #parallel #trade-off
Time-Space Trade-Offs for Asynchronous Parallel Models: Reducibilities and Equivalences (GLP), pp. 224–230.
ICALPICALP-1978-Toffoli #integration #network
Integration of the Phase-Difference Relations in Asynchronous Sequential Networks (TT), pp. 457–463.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.