Search results for "asynchronous"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Naoya Onizawa, Akira Mochizuki, Takahiro Hanyu	Multiple-Valued Duplex Asynchronous Data Transfer Scheme for Interleaving in LDPC Decoders.	ISMVL	2005	DBLP DOI BibTeX RDF
19	Bradley R. Quinton, Mark R. Greenstreet, Steven J. E. Wilton	Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow.	ICCD	2005	DBLP DOI BibTeX RDF
19	Einar Broch Johnsen, Olaf Owe	Inheritance in the Presence of Asynchronous Method Calls.	HICSS	2005	DBLP DOI BibTeX RDF
19	Bogdan S. Chlebus, Dariusz R. Kowalski	Cooperative asynchronous update of shared memory.	STOC	2005	DBLP DOI BibTeX RDF	problem Write-All, read and write register, work efficiency, distributed algorithm, expander, asynchrony, disperser
19	Christian Cachin, Stefano Tessaro	Asynchronous Veri.able Information Dispersal.	SRDS	2005	DBLP DOI BibTeX RDF
19	Andrew Lines	Asynchronous Interconnect for Synchronous SoC Design.	IEEE Micro	2004	DBLP DOI BibTeX RDF
19	Ivan Blunno, Luciano Lavagno	Designing an asynchronous microcontroller using Pipefitter.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
19	José Manuel Colmenar, Oscar Garnica, Sonia López, José Ignacio Hidalgo, Juan Lanchares, Román Hermida	Empirical Characterization of the Latency of Long Asynchronous Pipelines with Data-Dependent Module Delays.	PDP	2004	DBLP DOI BibTeX RDF
19	Rodolfo Pellizzoni, Giuseppe Lipari	A New Sufficient Feasibility Test for Asynchronous Real-Time Periodic Task Sets.	ECRTS	2004	DBLP DOI BibTeX RDF
19	Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev	An Asynchronous Synthesis Toolset Using Verilog.	DATE	2004	DBLP DOI BibTeX RDF
19	Aristides Efthymiou, Christos P. Sotiriou, Douglas A. Edwards	Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits.	DATE	2004	DBLP DOI BibTeX RDF
19	Mohammad Reza Mousavi 0001, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten	Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.	DATE	2004	DBLP DOI BibTeX RDF
19	Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen	Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation.	DSD	2004	DBLP DOI BibTeX RDF
19	Peter D. Hyde, G. Russell	ASSEC: An Asynchronous Self-Checking RISC-based Processor.	DSD	2004	DBLP DOI BibTeX RDF
19	Xin Jia, Jayanthi Rajagopalan, Ranga Vemuri	A Dynamically Reconfigurable Asynchronous FPGA Architecture.	FPL	2004	DBLP DOI BibTeX RDF
19	Dawid Kurzyniec, Vaidy S. Sunderam	Semantic Aspects of Asynchronous RMI: The RMIX Approach.	IPDPS	2004	DBLP DOI BibTeX RDF
19	Bartosz Przydatek, Reto Strobl	Asynchronous Proactive Cryptosystems Without Agreement (Extended Abstract).	ASIACRYPT	2004	DBLP DOI BibTeX RDF
19	Abhishek Sharma, Azer Bestavros, Ibrahim Matta	Performance Evaluation of Distributed Prefetching for Asynchronous Multicast in P2P Networks.	WCW	2004	DBLP DOI BibTeX RDF
19	Masayuki Tsukisaka, Masashi Imai, Takashi Nanya	Asynchronous Scan-Latch controller for Low Area Overhead DFT.	ICCD	2004	DBLP DOI BibTeX RDF
19	Peter D. Hyde, G. Russell	A Comparative Study of the Design of Synchronous and Asynchronous Self-Checking RISC Processors.	IOLTS	2004	DBLP DOI BibTeX RDF
19	Martin Berger 0001	Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.	CONCUR	2004	DBLP DOI BibTeX RDF
19	Nithya N. Vijayakumar, Beth Plale	Performance Evaluation of Rate-Based Join Window Sizing for Asynchronous Data Streams.	HPDC	2004	DBLP DOI BibTeX RDF
19	Matthew L. King, Kewal K. Saluja	Testing Micropipelined Asynchronous Circuits.	ITC	2004	DBLP DOI BibTeX RDF
19	Mirco Musolesi, Cecilia Mascolo, Stephen Hailes	Adapting asynchronous messaging middleware to ad hoc networking.	Middleware for Pervasive and Ad-hoc Computing	2004	DBLP DOI BibTeX RDF	mobile ad hoc networks, context, message oriented middleware, epidemic protocol, middleware for mobile computing
19	Susumu Adachi, Ferdinand Peper, Jia Lee	Universality of Hexagonal Asynchronous Totalistic Cellular Automata.	ACRI	2004	DBLP DOI BibTeX RDF
19	Rudolf Freund	Asynchronous P Systems and P Systems Working in the Sequential Mode.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
19	John Teifel, Rajit Manohar	Static Tokens: Using Dataflow to Automate Concurrent Pipeline Synthesis.	ASYNC	2004	DBLP DOI BibTeX RDF
19	Rostislav (Reuven) Dobkin, Ran Ginosar, Christos P. Sotiriou	Data Synchronization Issues in GALS SoCs.	ASYNC	2004	DBLP DOI BibTeX RDF
19	T. Felicijan, Stephen B. Furber	An asynchronous ternary logic signaling system.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
19	James Aspnes	Randomized protocols for asynchronous consensus.	Distributed Comput.	2003	DBLP DOI BibTeX RDF	Randomization, Consensus, Agreement, Asynchrony
19	Tom Altman, Yoshihide Igarashi, Michiko Omori	A Turn Function Scheme Realized in the Asynchronous Single-Writer/Multi-reader Shared Memory Model.	ISAAC	2003	DBLP DOI BibTeX RDF
19	Philippe Maurine, Jean-Baptiste Rigaud, G. Fraidy Bouesse, Gilles Sicard, Marc Renaudin	Statistic Implementation of QDI Asynchronous Primitives.	PATMOS	2003	DBLP DOI BibTeX RDF
19	Byung-Soo Choi, Dong-Ik Lee	Frequent Value Cache for Low-Power Asynchronous Dual-Rail Bus.	PATMOS	2003	DBLP DOI BibTeX RDF
19	João Leonardo Fragoso, Gilles Sicard, Marc Renaudin	Power/Area Tradeoffs in 1-of-M Parallel-Prefix Asynchronous Adders.	PATMOS	2003	DBLP DOI BibTeX RDF
19	Uwe Zdun, Markus Völter, Michael Kircher	Design and Implementation of an Asynchronous Invocation Framework for Web Services.	ICWS-Europe	2003	DBLP DOI BibTeX RDF
19	João Leonardo Fragoso, Gilles Sicard, Marc Renaudin	Automatic Generation of 1-of-M QDI Asynchronous Adders.	SBCCI	2003	DBLP DOI BibTeX RDF
19	Francesco Quaglia, Andrea Santoro	CCL v3.0: Multiprogrammed Semi-Asynchronous Checkpoints.	PADS	2003	DBLP DOI BibTeX RDF
19	Sung-Hoon Park	A Probabilistically Correct Election Protocol in Asynchronous Distributed Systems.	APPT	2003	DBLP DOI BibTeX RDF
19	Kiyoshi Oguri, Yuichiro Shibata, Akira Nagoya	Asynchronous Bit-Serial Datapath for Object-Oriented Reconfigurable Architecture PCA.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF
19	Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda	Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits.	ICCAD	2003	DBLP DOI BibTeX RDF
19	Mario Giacobini, Enrique Alba 0001, Marco Tomassini	Selection Intensity in Asynchronous Cellular Evolutionary Algorithms.	GECCO	2003	DBLP DOI BibTeX RDF
19	Sung-Hoon Park	About the Relationship between Election Problem and Failure Detector in Asynchronous Distributed Systems.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
19	Dariusz R. Kowalski, Alexander A. Shvartsman	Performing work with asynchronous processors: message-delay-sensitive bounds.	PODC	2003	DBLP DOI BibTeX RDF
19	Christian Cachin	An asynchronous protocol for distributed computation of RSA inverses and its applications.	PODC	2003	DBLP DOI BibTeX RDF	verifiable random functions, Cryptography, Byzantine agreement, threshold signatures, verifiable secret sharing
19	Kuo-Hsing Cheng, Yang-Han Lee, Wei-Chun Chang	A new robust handshake for asymmetric asynchronous micro-pipelines.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
19	Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Siriani	An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow.	HICSS	2003	DBLP DOI BibTeX RDF
19	Jehn-Ruey Jiang, Yu-Chee Tseng, Chih-Shun Hsu, Ten-Hwang Lai	Quorum-Based Asynchronous Power-Saving Protocols for IEEE 802.11 Ad Hoc Networks.	ICPP	2003	DBLP DOI BibTeX RDF
19	Kuo-Hsing Cheng, Wei-Chun Chang, Chia Ming Tu	A Robust Handshake for Asynchronous System.	IWSOC	2003	DBLP DOI BibTeX RDF
19	Danny Weyns, Tom Holvoet	Synchronous versus asynchronous collaboration in situated multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	collaboration, interaction, synchronization
19	Alex Kondratyev, Kelvin Lwin	Design of Asynchronous Circuits Using Synchronous CAD Tools.	IEEE Des. Test Comput.	2002	DBLP DOI BibTeX RDF
19	Juha Plosila, Tiberiu Seceleanu	Specification of an Asynchronous On-chip Bus.	ICFEM	2002	DBLP DOI BibTeX RDF
19	Mohammed Es Salhiene, Laurent Fesquet, Marc Renaudin	Dynamic Voltage Scheduling for Real Time Asynchronous Systems.	PATMOS	2002	DBLP DOI BibTeX RDF
19	Enrique Alba 0001, Mario Giacobini, Marco Tomassini, Sergio Romero 0002	Comparing Synchronous and Asynchronous Cellular Genetic Algorithms.	PPSN	2002	DBLP DOI BibTeX RDF
19	Peter A. Beerel, Aiguo Xie	Performance Analysis of Asynchronous Circuits Using Markov Chains.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
19	Rajit Manohar	Scalable formal design methods for asynchronous VLSI.	POPL	2002	DBLP DOI BibTeX RDF
19	Ivan Blunno, Luciano Lavagno	Designing an Asynchronous Microcontroller Using Pipefitter.	ICCD	2002	DBLP DOI BibTeX RDF
19	Sung-Hoon Park	Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems.	EDCIS	2002	DBLP DOI BibTeX RDF
19	Thomas Verdel, Yiorgos Makris	Duplication-Based Concurrent Error Detection in Asynchronous Circuits: Shortcomings and Remedies.	DFT	2002	DBLP DOI BibTeX RDF
19	Peter A. Beerel	Asynchronous Circuits: An Increasingly Practical Design Solution (invited).	ISQED	2002	DBLP DOI BibTeX RDF
19	Sung-Hoon Park	The Weakest Failure Detector for Solving Election Problems in Asynchronous Distributed Systems.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
19	Meine van der Meulen	Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.	FMCAD	2002	DBLP DOI BibTeX RDF
19	Chrystopher L. Nehaniv	Self-Reproduction in Asynchronous Cellular Automata.	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
19	Anoop Iyer, Diana Marculescu	Power and Performance Evaluation of Globally Asynchronous Locally Synchronous Processors.	ISCA	2002	DBLP DOI BibTeX RDF
19	Peter Henderson 0001	Reasoning about Asynchronous Behaviour in Distributed Systems.	ICECCS	2002	DBLP DOI BibTeX RDF
19	Alex Kondratyev, Kelvin Lwin	Design of asynchronous circuits by synchronous CAD tools.	DAC	2002	DBLP DOI BibTeX RDF
19	Rajit Manohar, Clinton Kelly IV, John Teifel, David Fang, David Biermann	Energy-Efficient Pipelines.	ASYNC	2002	DBLP DOI BibTeX RDF	energy-time metrics, pipeline dynamics, low-power design
19	Sumit Ghosh	P2EDAS: Asynchronous, Distributed Event Driven Simulation Algorithm with Inconsistent Event Preemption for Accurate Execution of VHDL Descriptions on Parallel Processors.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	simulation of hardware descriptions, inertial delays, descheduling, anticipatory scheduling, preemption of inconsistent events, parallel processing, VLSI, distributed algorithms, discrete event simulation, VHDL, Digital simulation, logic simulation, event driven simulation, timing semantics
19	Ross Smith, Michiel M. Ligthart	High-level design for asynchronous logic.	ASP-DAC	2001	DBLP DOI BibTeX RDF
19	Andrea Santoro, Francesco Quaglia	Communications and network: benefits from semi-asynchronous checkpointing for time warp simulations of a large state PCS model.	WSC	2001	DBLP DOI BibTeX RDF
19	Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy	Asynchronous Exceptions in Haskell.	PLDI	2001	DBLP DOI BibTeX RDF	Haskell
19	Starr Roxanne Hiltz, Jerry Fjermestad	Introduction to the Asynchronous Learning Networks Mini-Track.	HICSS	2001	DBLP DOI BibTeX RDF
19	Christian Cachin, Klaus Kursawe, Frank Petzold, Victor Shoup	Secure and Efficient Asynchronous Broadcast Protocols.	CRYPTO	2001	DBLP DOI BibTeX RDF
19	David Kinniment, Alexandre Yakovlev, B. Gao	Synchronous and asynchronous A-D conversion.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
19	Paola Quaglia, David Walker 0008	On Synchronous and Asynchronous Mobile Processes.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	Oltea Mihaela Herescu, Catuscia Palamidessi	Probabilistic Asynchronous pi-Calculus.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	Kenji Matsuura, Hiroaki Ogata, Yoneo Yano	Agent's Contribution for an Asynchronous Virtual Classroom.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
19	Jean-Pierre Krimm, Laurent Mounier	Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.	TACAS	2000	DBLP DOI BibTeX RDF
19	Simon W. Moore, George S. Taylor, Paul A. Cunningham, Robert D. Mullins, Peter Robinson 0001	Self-Calibrating Clocks for Globally Asynchronous Locally Synchronous Systems.	ICCD	2000	DBLP DOI BibTeX RDF
19	Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand	Peephole optimization of asynchronous macromodule networks.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
19	Larry S. Jackson, Ed Grossman	Integration of Synchronous and Asynchronous Collaboration Activities.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF
19	Walter Vogler	Concurrent Implementation of Asynchronous Transition Systems.	ICATPN	1999	DBLP DOI BibTeX RDF
19	Byung-Soo Choi, Dong-Wook Lee, Dong-Ik Lee	The Design of Delay Insensitive Asynchronous 16-bit Microprocessor.	ASP-DAC	1999	DBLP DOI BibTeX RDF
19	Andrea Fumagalli, Roberto Grasso	An Efficient Asynchronous Simulation Technique for High Speed Slotted Networks.	Annual Simulation Symposium	1999	DBLP DOI BibTeX RDF	slotted network, Photonic Slot Routing, Wavelength Division Multiplexing, event driven simulation
19	Mauro Gaspari, Gianluigi Zavattaro	Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.	ECOOP	1999	DBLP DOI BibTeX RDF
19	Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens	Synthesis of asynchronous control circuits with automatically generated relative timing assumptions.	ICCAD	1999	DBLP DOI BibTeX RDF
19	Robert M. Fuhrer, Steven M. Nowick	OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic.	ICCAD	1999	DBLP DOI BibTeX RDF
19	J. O. Dedou, Daniel Chillet, Olivier Sentieys	Behavioral synthesis of asynchronous systems: a methodology.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
19	Patrick P. Cao, Frada Burstein	An Asynchronous Group Decision Support System Study for Intelligent Multicriteria Decision Making.	HICSS	1999	DBLP DOI BibTeX RDF
19	Angelos Bilas, Cheng Liao, Jaswinder Pal Singh	Using Network Interface Support to Avoid Asynchronous Protocol Processing in Shared Virtual Memory Systems.	ISCA	1999	DBLP DOI BibTeX RDF
19	Raquel Benbunan-Fich, Starr Roxanne Hiltz	Learning Effects of Asynchronous Learning Networks: A Comparision of Groups and Individuals Solving Ethical Case Scenarios.	HICSS (1)	1998	DBLP DOI BibTeX RDF
19	Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev	Asynchronous Interface Specification, Analysis and Synthesis.	DAC	1998	DBLP DOI BibTeX RDF
19	Jürgen Teich, Lothar Thiele, Sundararajan Sriram, Michael Martin 0002	Performance analysis and optimization of mixed asynchronous synchronous systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
19	Yasunori Nagata, Masao Mukaidono	Design of an Asynchronous Digital System with B-Ternary Logic.	ISMVL	1997	DBLP DOI BibTeX RDF
19	Martin Benes 0002, Andrew Wolfe, Steven M. Nowick	A High-Speed Asynchronous Decompression Circuit for Embedded Processors.	ARVLSI	1997	DBLP DOI BibTeX RDF
19	D. J. Kinniment	An evaluation of asynchronous addition.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
19	Phillip B. Gibbons, Yossi Matias, Vijaya Ramachandran	The Queue-Read Queue-Write Asynchronous PRAM Model.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
19	Wei Shu, Min-You Wu	Asynchronous Problems on SIMD Parallel Computers.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	SIMD parallel computers, portable programming environment, irregular and dynamic applications, scalability, load balancing, thread model
19	Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick	A correctness criterion for asynchronous circuit validation and optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
19	Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang	Verification of asynchronous interface circuits with bounded wire delays.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
19	Cho W. Moon, Paul R. Stephan, Robert K. Brayton	Specification, synthesis, and verification of hazard-free asynchronous circuits.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF