|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9115 occurrences of 3515 keywords
|
|
|
Results
Found 18148 publication records. Showing 18148 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Anca Muscholl |
On the Complementation of Büchi Asynchronous Cellular Automata. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Chris J. Myers, Teresa H.-Y. Meng |
Synthesis of timed asynchronous circuits. |
IEEE Trans. Very Large Scale Integr. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Kohei Honda 0001, Mario Tokoro |
An Object Calculus for Asynchronous Communication. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
19 | P. A. Subrahmanyam |
What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Ajei S. Gopal, Sam Toueg |
Reliable Broadcast in Synchronous and Asynchronous Environments (Preliminary Version). |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Barbara Liskov, Liuba Shrira |
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
ARGUS, MULTILISP |
18 | Rostislav (Reuven) Dobkin, Yevgeny Perelman, Tuvia Liran, Ran Ginosar, Avinoam Kolodny |
High Rate Wave-pipelined Asynchronous On-chip Bit-serial Data Link. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Andrew Lines |
The Vortex: A Superscalar Asynchronous Processor. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Andrew M. Scott, Mark E. Schuelein, Marly Roncken, Jin-Jer Hwan, John Bainbridge, John R. Mawer, David L. Jackson, Andrew Bardsley |
Asynchronous on-Chip Communication: Explorations on the Intel PXA27x Processor Peripheral Bus. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Melinda Y. Agyekum, Steven M. Nowick |
A Cycle-Based Decomposition Method for Burst-Mode Asynchronous Controllers. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Peter A. Beerel, Nam-Hoon Kim, Andrew Lines, Mike Davies |
Slack Matching Asynchronous Designs. |
ASYNC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jo C. Ebergen, Alex Chow, Bill Coates 0001, Justin Schauer, David Hopkins 0001 |
An Asynchronous High-Throughput Control Circuit For Proximity Communication. |
ASYNC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Luca Necchi, Luciano Lavagno, Davide Pandini, Laura Vanzago |
An ultra-low energy asynchronous processor for Wireless Sensor Networks. |
ASYNC |
2006 |
DBLP DOI BibTeX RDF |
lowenergy, low EMI, AVR CPU, Wireless sensor networks, low-power, desynchronization |
18 | Rostislav (Reuven) Dobkin, Ran Ginosar, Avinoam Kolodny |
Fast Asynchronous Shift Register for Bit-Serial Communication. |
ASYNC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Gennette Gill, Ankur Agiwal, Montek Singh, Feng Shi 0010, Yiorgos Makris |
Low-Overhead Testing of Delay Faults in High-Speed Asynchronous Pipelines. |
ASYNC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, Chris J. Myers |
High Level Synthesis of Timed Asynchronous Circuits. |
ASYNC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Justin Hensley, Anselmo Lastra, Montek Singh |
A Scalable Counterflow-Pipelined Asynchronous Radix-4 Booth Multiplier. |
ASYNC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | David Fang, Rajit Manohar |
Non-Uniform Access Asynchronous Register Files. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Masashi Imai, Metehan Özcan, Takashi Nanya |
Evaluation of Delay Variation in Asynchronous Circuits Based on the Scalable-Delay-Insensitive Model. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ron Ho, Jonathan Gainsley, Robert J. Drost |
Long Wires and Asynchronous Control. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Radu Negulescu |
General Testers for Asynchronous Circuits. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mika Nyström, Elaine Ou, Alain J. Martin |
An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mark B. Josephs |
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Villiger, Hubert Kaeslin, Frank K. Gürkaynak, Stephan Oetiker, Wolfgang Fichtner |
Self-Timed Ring for Globally-Asynchronous Locally-Synchronous Systems. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Emmanuel Allier, Gilles Sicard, Laurent Fesquet, Marc Renaudin |
A New Class of Asynchronous A/D Converters Based on Time Quantization. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Clinton Kelly IV, Virantha N. Ekanayake, Rajit Manohar |
SNAP: A Sensor-Network Asynchronous Processor. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Kenneth S. Stevens |
Energy and Performance Models for Clocked and Asynchronous Communication. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Rohan Angrish, Supratik Chakraborty |
Probabilistic Timing Analysis of Asynchronous Systems with Moments of Delay. |
ASYNC |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Villiger, Stephan Oetiker, Frank K. Gürkaynak, Norbert Felber, Hubert Kaeslin, Wolfgang Fichtner |
A Functional Test Methodology for Globally-Asynchronous Locally-Synchronous Systems. |
ASYNC |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Ivan E. Sutherland, Jon K. Lexau |
Designing Fast Asynchronous Circuits. |
ASYNC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Alexandre Yakovlev, Fei Xia, Delong Shang |
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism. |
ASYNC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Ryusuke Konishi, Hideyuki Ito, Hiroshi Nakada, Akira Nagoya, Norbert Imlig, Tsunemichi Shiozawa, Minoru Inamori, Kouichi Nagami, Kiyoshi Oguri |
PCA-1: A Fully Asynchronous, Self-Reconfigurable LSI. |
ASYNC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gianluca Cornetta, Jordi Cortadella |
A Multi-Radix Approach to Asynchronous Division. |
ASYNC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Joep L. W. Kessels, Ad M. G. Peeters, Torsten Kramer, Markus Feuser, Klaus Ully |
Designing an Asynchronous Bus Interface. |
ASYNC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment |
Asynchronous Communication Mechanisms Using Self-Timed Circuits. |
ASYNC |
2000 |
DBLP DOI BibTeX RDF |
|
18 | David A. Kearney |
Theoretical Limits on the Data Dependent Performance of Asynchronous Circuits. |
ASYNC |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Per Arne Karlsen, Per Torstein Røine |
A Timing Verifier and Timing Profiler for Asynchronous Circuits. |
ASYNC |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Mike J. G. Lewis, Jim D. Garside, L. E. M. Brackenbury |
Reconfigurable Latch Controllers for Low Power Asynchronous Circuits. |
ASYNC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ridha Djemal, Guy Mazaré, Gérard Michel |
Toward reconfigurable associative architecture for high speed communication operators. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
reconfigurable associative architecture, high speed communication operators, associative organization, complex data structures, structured addressable associative memory, high speed communication protocols, CAM architectures, SYMOPSYS tool, architecture validation, FPGA, real-time systems, real-time, asynchronous transfer mode, asynchronous transfer mode, local area networks, local area network, reconfigurable architectures, memory architecture, LAN, content-addressable storage |
17 | Hon Fung Li, P. N. Lam |
A protocol extraction strategy for control point insertion in design for test of transition signaling circuits. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
protocol extraction strategy, control point insertion, transition signaling circuits, hazard-free test, safe behaviors, gap detection, gap matching, single input pad, protocols, logic testing, design for testability, asynchronous circuits, asynchronous circuits, design for test, test length, area overhead |
17 | George R. Couranz, Donald F. Wann |
Theoretical and Experimental Behavior of Synchronizers Operating in the Metastable Region. |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
Asynchronous fundamental mode input changes, binary switching time, flip-flop metastable region, interrupt failure, probabilistic behavior of flip-flops, glitch, asynchronous interactions, synchronizer failures |
17 | Hsin-De Lin, Tzu-Hsien Sang, David W. Lin |
BICM-OFDM for cooperative communications with multiple synchronization errors. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
BICM, OFDM, asynchronous, cooperative communications |
17 | Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan |
Distributed constraint satisfaction with partially known constraints. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Distributed CSPs, Asynchronous search, Privacy, Entropy |
17 | Damien Imbs, Michel Raynal |
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure |
17 | Claudio V. Russo |
Join patterns for visual basic. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
join patterns, visual basic, asynchronous message passing |
17 | Huaigu Wu, Josh Borts, Yi Zheng, Yuri Natchetoi |
LAOF: A New Framework to Efficiently Process Business Objects on Resource Constrained Mobile Phones. |
MDM |
2008 |
DBLP DOI BibTeX RDF |
Lightweight framework, asynchronous online, Mobile Data Management |
17 | Julien Phalip, David Jean, Ernest A. Edmonds |
Resolving ambiguity of scope in remote collaboration: a study in film scoring. |
OZCHI |
2008 |
DBLP DOI BibTeX RDF |
creative collaboration, film scoring, human computer interaction, asynchronous communication, remote communication |
17 | Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens |
Guest Editors' Introduction: GALS Design and Validation. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
design, synchronous, validation, asynchronous |
17 | Sérgio Gorender, Raimundo José de Araújo Macêdo, Michel Raynal |
An Adaptive Programming Model for Fault-Tolerant Distributed Computing. |
IEEE Trans. Dependable Secur. Comput. |
2007 |
DBLP DOI BibTeX RDF |
asynchronous/synchronous distributed system, distributed computing model, quality of service, fault tolerance, Adaptability, consensus |
17 | Oto Pobiecky, Ivan Kotuliak, Daniel Popa, Tülin Atmaca, Gérard Hébuterne |
LOCOMOTIVE: A Hybrid Access Protocol for Bus-Based Passive Optical Networks. |
MASCOTS |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous optical CSMA/CA, variable length packet, bandwidth fragmentation performance, shared bus |
17 | Mohamed Oussama Damen, Roger Hammons |
Distributed space-time codes: relays delays and code word overlays. |
IWCMC |
2007 |
DBLP DOI BibTeX RDF |
asynchronous commnunication, cooperative diversity, space-time codes |
17 | Raman Kazhamiakin, Marco Pistore, Luca Santuari |
Analysis of communication models in web service compositions. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
formal verification, BPEL, web service composition, asynchronous communications |
17 | Shantanu Das 0001, Shay Kutten, Ayelet Yifrach |
Improved Distributed Exploration of Anonymous Networks. |
ICDCN |
2006 |
DBLP DOI BibTeX RDF |
unlabeled nodes, asynchronous distributed leader election, k agents, map construction, anonymous network |
17 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers |
Irreducibility and additivity of set agreement-oriented failure detector classes. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
fault-tolerance, asynchronous system, unreliable failure detector |
17 | Vikram Iyengar, Gary Grise, Mark Taylor 0001 |
A flexible and scalable methodology for GHz-speed structural test. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
asynchronous clock domains, deskewer, test waveform generator, ASICs, structural test, at-speed |
17 | Robert B. Reese, Mitchell A. Thornton, Cherrice Traver |
A Coarse-Grain Phased Logic CPU. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
asynchronous, pipelined processor, Automatic synthesis, self-timed, micropipelines |
17 | Nuno Ferreira Neves, Miguel Correia 0001, Paulo Veríssimo |
Solving Vector Consensus with a Wormhole. |
IEEE Trans. Parallel Distributed Syst. |
2005 |
DBLP DOI BibTeX RDF |
Byzantine asynchronous protocols, Distributed systems, consensus |
17 | Michel Raynal, Matthieu Roy |
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability |
17 | Ling Cheung |
Randomized Wait-Free Consensus Using an Atomicity Assumption. |
OPODIS |
2005 |
DBLP DOI BibTeX RDF |
Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking |
17 | Aristides Efthymiou, Jim D. Garside, Ioannis Papaefstathiou |
A Low-Power Processor Architecture Optimized forWireless Devices. |
ASAP |
2005 |
DBLP DOI BibTeX RDF |
Pipeline depth, configurable pipeline, power-adaptive processors, Low power, asynchronous circuits |
17 | Steve Vinoski |
Web Services Notifications. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
ws-events, Web services, asynchronous, wsdl, push |
17 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. |
Distributed Comput. |
2004 |
DBLP DOI BibTeX RDF |
Step complexity, Fault-tolerance, Shared memory, Consensus, Asynchronous system, Collect, Condition, Snapshot, Input vector |
17 | Padmanabhan Krishnan |
Decomposing Controllers into Non-conflicting Distributed Controllers. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Asynchronous Automata, Controllers, Decompositions |
17 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Analysis of interacting BPEL web services. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin |
17 | Christian Boulinier, Franck Petit, Vincent Villain |
When graph theory helps self-stabilization. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
asynchronous unison, local (group) mutual exclusion, synchronization, self-stabilization |
17 | Virantha N. Ekanayake, Clinton Kelly IV, Rajit Manohar |
An ultra low-power processor for sensor networks. |
ASPLOS |
2004 |
DBLP DOI BibTeX RDF |
picojoule computing, sensor network processor, sensor networks, wireless, asynchronous, low-energy, event-driven |
17 | Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal |
Early Stopping in Global Data Computation. |
IEEE Trans. Parallel Distributed Syst. |
2003 |
DBLP DOI BibTeX RDF |
early stopping, global data, perfect failure detector, fault tolerance, reliability, distributed computing, Asynchronous distributed systems, crash failure |
17 | Xiaohua Kong, Radu Negulescu, Larry Weidong Ying |
Refinement-based formal verification with heterogeneous timing. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Communication refinement, Refinement-based verification, Relative timing, globally asynchronous locally synchronous, Process space |
17 | Karthikeyan Sankaralingam, Madhulika Yalamanchi, Simha Sethumadhavan, James C. Browne |
Pagerank Computation and Keyword Search on Distributed Systems and P2P Networks. |
J. Grid Comput. |
2003 |
DBLP DOI BibTeX RDF |
asynchronous iteration, pagerank, web server, keyword search, peer-to-peer computing, Internet search |
17 | Lélia Blin, Franck Butelle |
The First Approximated Distributed Algorithm for the Minimum Degree Spanning Tree Problem on General Graphs. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
Minimum degree spanning trees, Distributed algorithms, Spanning trees, Asynchronous algorithms, general graphs |
17 | Jaap-Henk Hoepman |
Splitters: Objects for Online Partitioning. |
OPODIS |
2003 |
DBLP DOI BibTeX RDF |
splitters, divide & conquer, asynchronous communication, shared objects |
17 | Jing-Ling Yang, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun |
Design for Self-Checking and Self-Timed Datapath. |
VTS |
2003 |
DBLP DOI BibTeX RDF |
asynchronous datapath, differential cascode voltage switch logic, Self-checking, dynamic circuits |
17 | Shivakant Mishra, Christof Fetzer, Flaviu Cristian |
The Timewheel Group Communication System. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
timed asynchronous distributed system, fault tolerance, replication, Group communication, high availability |
17 | William H. Mischo, Thomas G. Habing, Timothy W. Cole |
Integration of simultaneous searching and reference linking across bibliographic resources on the web. |
JCDL |
2002 |
DBLP DOI BibTeX RDF |
asynchronous simultaneous search, reference linking, searchbots, digital library, openURL |
17 | Frédéric Peschanski |
A Versatile Event-Based Communication Model for Generic Distributed Interactions. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
Asynchronous computation models, Publish/Subscribe protocols, Dynamic adaptability, Event-Based Systems |
17 | Massimo Franceschetti, Jehoshua Bruck |
A Group Membership Algorithm with a Practical Specification. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
Distributed agreement algorithms, asynchronous systems, group membership |
17 | Özalp Babaoglu, Renzo Davoli, Alberto Montresor |
Group Communication in Partitionable Systems: Specification and Algorithms. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
view synchrony, partition-awareness, fault tolerance, Group communication, asynchronous systems |
17 | Darrell Brunsch, Carlos O'Ryan, Douglas C. Schmidt |
Designing an Efficient and Scalable Server-side Asynchrony Model for CORBA. |
LCTES/OM |
2001 |
DBLP DOI BibTeX RDF |
asynchronous method invocation, design patterns, CORBA |
17 | Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal |
Randomized Multivalued Consensus. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Message Passing, Asynchronous Distributed System, Random Number, Crash Failure, Unreliable Failure Detector, Consensus Problem, Randomized Protocol |
17 | Michel Raynal |
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
Fair Lossy Channels, Quiescent Protocol, Uniform Reliable Broadcast, Fault-Tolerance, Oracles, Failure Detectors, Asynchronous Distributed Systems, Process Crashes |
17 | Raquel Benbunan-Fich, Starr Roxanne Hiltz, Murray Turoff |
A Comparative Content Analysis of Face-to-Face vs. ALN-Mediated Teamwork. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Computer-Mediated Communication Systems, Content Analysis, Asynchronous Learning Networks |
17 | Kumiko Obokata, Michiko Omori, Kazuhiro Motegi, Yoshihide Igarashi |
A Lockout Avoidance Algorithm without Using Time-Stamps for the k-Exclusion Problem. |
COCOON |
2001 |
DBLP DOI BibTeX RDF |
k-exclusion, lockout avoidance, lockout freedom, shared memory, concurrent computation, asynchronous processes |
17 | Achour Mostéfaoui, Michel Raynal |
Randomized k-set agreement. |
SPAA |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerance, consensus, asynchronous system, randomized protocol, k-set Agreement |
17 | Bernadette Charron-Bost, Rachid Guerraoui, André Schiper |
Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, efficiency, consensus, asynchronous system, failure detector, synchronous system |
17 | Elise de Doncker, Rodger Zanny, Manuel Ciobanu, Yuqiang Guan |
Distributed Quasi Monte-Carlo Methods in a Heterogeneous Environment. |
Heterogeneous Computing Workshop |
2000 |
DBLP DOI BibTeX RDF |
stochastic lattice rules, load balancing, heterogeneous environment, asynchronous algorithm, Quasi-Monte Carlo |
17 | R. Maheshwari, R. Fatoohi |
Design and Implementation of CORBA-Based Subscription Server. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
CORBA-based Subscription Server, CORBA operation invocation model, asynchronous message delivery, timed invocations, OMG Notification Service specification, structured push style communication, event data, advertiser interface, event filtering, connection reliability, event reliability, Auction Alert application, quality of service, quality of service, real-time systems, interfaces, group communication, client-server systems, real-time applications, distributed object management, file servers |
17 | Achour Mostéfaoui, Michel Raynal |
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach. |
DISC |
1999 |
DBLP DOI BibTeX RDF |
Perpetual/Eventual Accuracy, Consensus, Quorum, Asynchronous Distributed System, Crash Failure, Unreliable Failure Detector |
17 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
State Space Reduction Based on Live Variables Analysis. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction |
17 | Joe Kilian, Erez Petrank, Charles Rackoff |
Lower Bounds for Zero Knowledge on the Internet. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
Lower Bounds, Zero Knowledge, Asynchronous Protocols |
17 | Michael V. Goncharov, Alexander B. Smirnov, Nikolai Starodoubtsev, Ilya V. Klotchkov |
Timing Extensions of STG Model and a Method to Simulate Timed STG Behavior in VHDL Environment. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
asynchronous circuits' design, simulation, VHDL, Signal Transition Graph (STG) |
17 | Sachin More, Alok N. Choudhary, Ian T. Foster, Ming Q. Xu |
MTIO - A Multi-Threaded Parallel I/O System. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
MTIO, multi-threaded runtime library, computation tasks, asynchronous I/O, copy avoidance, I/O thread, compute thread, optimal buffer size, large requests, performance, load balance, concurrency, file system, data distributions, software libraries, communication overhead, access patterns, collective I/O, IBM SP2, shared address space, parallel I/O system |
17 | Pradipta K. Dash, R. C. Hansdah |
A Fault-Tolerant Distributed Algorithm for Termination Detection Using Roughly Synchronized Clocks. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
global termination, asynchronous & synchronous networks, roughly synchronized clocks, Distributed computation, resilience |
17 | Kwang-Sik Chung, Kibom Kim, Chong-Sun Hwang, Jin Gon Shon, Heon-Chang Yu |
Hybrid checkpointing protocol based on selective-sender-based message logging. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
hybrid checkpointing protocol, selective-sender-based message logging, asynchronous checkpointing protocol, failure-free operation, cascade rollback, message dependency tree, search time, protocols, failure recovery |
17 | Konrad Klöckner, Peter Mambrey, Wolfgang Prinz, Markus Sohlenkamp |
Multimedia groupware design for a distributed government. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
multimedia groupware design, distributed government, German government, Bonn, Berlin, telecooperation, government ministries, POLITeam project, asynchronous cooperation, synchronous cooperation, electronic circulation folder, common workspace, office processes, prototypes, participatory design, user requirements, government data processing, Germany, Germany |
17 | Peter Dahlgren |
Switch-level modeling of feedback faults using global oscillation control. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
global oscillation control, asynchronous behavior, fault diagnosis, fault diagnosis, bridging fault, logic simulation, feedback loop, switch-level model |
17 | Tushar Deepak Chandra, Sam Toueg |
Unreliable Failure Detectors for Reliable Distributed Systems. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
Byzantine Generals' problem, commit problem, fault-tolerance, message passing, asynchronous systems, failure detection, crash failures, atomic broadcast, consensus problem, partial synchrony, agreement problem, processor failures |
17 | Aleta Ricciardi |
Dissecting Distributed Coordination. |
WDAG |
1995 |
DBLP DOI BibTeX RDF |
exemption, asynchronous, failures, Agreement, uniformity |
17 | Rachid Guerraoui, André Schiper |
A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
total order multicast, fault-tolerance, distributed computing, replication, asynchronous system, failure detector, atomic commitment |
17 | Ramanagopal V. Vogety, Yashwant K. Malaiya, Anura P. Jayasumana |
Interconnection of FDDI-II networks through an ATM backbone - An analysis. |
LCN |
1995 |
DBLP DOI BibTeX RDF |
FDDI-II networks, ATM backbone, gateway model, asynchronous transfer mode, interconnection, waiting time, FDDI, queue length, LAN interconnection |
17 | Karl R. Abrahamson, Andrew Adler, Lisa Higham, David G. Kirkpatrick |
Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
Solitude Verification, anonymous ring, asynchronous unidirectional ring, bit complexity, lower bounds, nondeterminism, Leader Election |
|
|