|
|
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 |
21 | Achour Mostéfaoui, Michel Raynal, Corentin Travers |
Crash-Resilient Time-Free Eventual Leadership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil, pp. 208-217, 2004, IEEE Computer Society, 0-7695-2239-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Time-free Protocol, Fault tolerance, Distributed algorithm, Asynchronous system, Process crash, Leader |
21 | Pierre Spitéri, Ronan Guivarch, Didier El Baz, Ming Chau |
Parallelization of Subdomain Methods with Overlapping for Linear and Nonlinear Convection-Diffusion Problems.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, pp. 341-348, 2003, IEEE Computer Society, 0-7695-1875-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Convection-diffusion problems, parallel asynchronous iterations, subdomain methods |
21 | Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo |
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 258-270, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Logically Instantaneous Communication, Communication Protocol, Asynchronous Distributed System, Rendezvous, Logical Time |
21 | Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg |
The Weakest Failure Detector for Solving Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(4), pp. 685-722, 1996. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers |
Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 943-953, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ke Pan, Stephen John Turner, Wentong Cai 0001, Zengxiang Li |
A Hybrid HLA Time Management Algorithm Based on Both Conditional and Unconditional Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 22st International Workshop on Principles of Advanced and Distributed Simulation, PADS 2008, Roma, Italy, June 3-6, 2008, pp. 203-211, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Time Management Algorithm, Distributed Simulation, HLA |
20 | Kok-Leong Chang, Yao Zhu, Bah-Hwee Gwee |
De-synchronization of a point-of-sales digital-logic controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 3402-3405, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Abdel Ejnioui |
FPGA Prototyping of a Two-Phase Self-Oscillating Micropipeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), May 9-11, 2007, Porto Alegre, Brazil, pp. 437-438, 2007, IEEE Computer Society, 0-7695-2896-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Seetharami R. Seelam, Jayaraman Suresh Babu, Patricia J. Teller |
Rate-Controlled Scheduling of Expired Writes for Volatile Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 51-62, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Kazuki Hiraki, Tatsuhiro Yonekura, Susumu Shibusawa |
An Evaluation ofWeb-Com: Web-Based Education System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 4th International Conference on Cyberworlds (CW 2005), 23-25 November 2005, Singapore, pp. 229-236, 2005, IEEE Computer Society, 0-7695-2378-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sumit Ghosh |
Large-Scale Systems Design: A Revolutionary New Approach in Software Hardware Co-design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 270-274, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
The Synchronous Condition-Based Consensus Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings, pp. 1-15, 2004, Springer, 3-540-23306-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Early deciding, Message passing, Consensus, Condition, Input Vector, Synchronous distributed system, Process crash failure |
20 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Consistency Maintenance for ABT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 271-285, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | D. Manivannan 0001, Mukesh Singhal |
Quasi-Synchronous Checkpointing: Models, Characterization, and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(7), pp. 703-713, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
consistent global checkpoint, zigzag paths, fault tolerance, Causality, failure recovery, distributed checkpointing |
20 | Frank S. de Boer, Catuscia Palamidessi |
Embedding as a Tool for Language Comparison: On the CSP Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 127-141, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
concurrent logic languages, embedding, compositional semantics |
20 | Mahasweta Sarkar, Jeemil Shah |
A asynchronous MAC layer channel selection scheme for multichannel ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 1091-1095, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
channel selection scheme, single transceiver, ad-hoc networks, asynchronous, multi-channel |
20 | Neil Gershenfeld, David Dalrymple, Kailiang Chen, Ara N. Knaian, Forrest Green, Erik D. Demaine, Scott Greenwald, Peter Schmidt-Nielsen |
Reconfigurable asynchronous logic automata: (RALA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 1-6, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reconfigurable, logic, asynchronous, automata |
20 | Jonathan S. Turner |
Strong performance guarantees for asynchronous buffered crossbar scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(4), pp. 1017-1028, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
asynchronous crossbars, crossbar schedulers, routers, switches, performance guarantees |
20 | Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen |
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(2), pp. 117-131, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs |
20 | Hyukmin Son, Sanghoon Lee 0001 |
Multi-cell communications for OFDM-based asynchronous networks over multi-cell environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 15(7), pp. 917-930, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Site selection diversity, Guard carrier, Network synchronization, Synchronization, OFDM, Multiple access interference, Asynchronous network |
20 | Francisco Velasco-Álvarez, Ricardo Ron-Angevin |
Asynchronous Brain-Computer Interface to Navigate in Virtual Environments Using One Motor Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 698-705, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
virtual environment (VE), motor imagery (MI), navigation, asynchronous, Brain-computer interface (BCI), mental tasks |
20 | Chunhe Song, Hai Zhao 0002, Wei Jing |
Asynchronous distributed PF algorithm for WSN target tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 1168-1172, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
asynchronous distributed particle filtering, WSN, target tracking |
20 | Kiriakos Patriarcheas, Michalis Nik Xenos |
Asynchronous Distance Education Forum - Brainstorming vs. Snowballing: A Case Study for Teaching in Programming Didactics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2009, 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings, pp. 322-331, 2009, Springer, 978-3-642-03425-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous discussion fora, Adult education, Snowballing, Modelling, Distance education, Brainstorming |
20 | Nawal Guermouche, Claude Godart |
Asynchronous Timed Web Service-Aware Choreography Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 364-378, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous timed Compatibility analysis, Web service, Timed properties |
20 | Zhi-hui Zhan, Jun Zhang 0003 |
Parallel Particle Swarm Optimization with Adaptive Asynchronous Migration Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings, pp. 490-501, 2009, Springer, 978-3-642-03094-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adaptive asynchronous migration strategy, parallel particle swarm optimization (PPSO), solution accuracy, Particle swarm optimization (PSO), convergence speed |
20 | Nicolai Marquardt, James Everett Young, Ehud Sharlin, Saul Greenberg |
Situated messages for asynchronous human-robot interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009, pp. 301-302, 2009, ACM, 978-1-60558-404-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
situated messages, RFID, human-robot interaction, asynchronous interaction |
20 | Thomas Chatain, Paul Gastin, Nathalie Sznajder |
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 141-152, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Distributed synthesis, Asynchronous systems |
20 | Bojian Xu, Srikanta Tirthapura, Costas Busch |
Sketching asynchronous data streams over sliding windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(5), pp. 359-374, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Asynchronous streams, Data streams, Sliding window, Median, Sum, Distributed streams |
20 | Loc Bui, Atilla Eryilmaz, R. Srikant 0001, Xinzhou Wu |
Asynchronous congestion control in multi-hop wireless networks with maximal matching-based scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(4), pp. 826-839, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fair resource allocation, totally asynchronous algorithm, wireless networks, congestion control, distributed scheduling |
20 | Fei Qiao, Huazhong Yang, Gang Huang, Hui Wang 0004 |
Implementation of low-swing differential interface circuits for high-speed on-chip asynchronous interconnection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(7), pp. 975-984, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
low-swing interface, differential signaling, tapered-buffer, interconnect, asynchronous circuit, low power circuit |
20 | Rui Gong, Wei Chen 0009, Fang Liu 0002, Kui Dai, Zhiying Wang 0003 |
A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(1-3), pp. 57-65, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SEE tolerance, SEU tolerance, SET tolerance, Asynchronous circuit |
20 | Simon Ogg, Bashir M. Al-Hashimi, Alexandre Yakovlev |
Asynchronous transient resilient links for NoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 209-214, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
point to point link, reliability, network-on-chip, asynchronous, transient faults |
20 | Ralf Klasing, Adrian Kosowski, Alfredo Navarra |
Taking Advantage of Symmetries: Gathering of Asynchronous Oblivious Robots on a Ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 446-462, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Oblivious robots, Gathering problem, Mobile robots, Asynchronous system, Ring |
20 | Raghid Shreih, Maitham Shams |
Implementation of asynchronous pipeline circuits in multi-threshold CMOS technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 189-194, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
c-element, gasp, low power, pipeline, asynchronous, multi-threshold |
20 | Jacques M. Bahi, Sylvain Contassot-Vivier, Raphaël Couturier |
An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2008, 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers, pp. 240-254, 2008, Springer, 978-3-540-92858-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Asynchronous iterative algorithms, convergence detection |
20 | Fei Wei, Huazhong Yang |
Directed transmission method, a fully asynchronous approach to solve sparse linear systems in parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 365, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
convergence theory, directed transmission method (dtm), virtual transmission method (vtm), distributed algorithm, sparse linear system, asynchronous algorithm |
20 | Mortada Mehyar, Demetri P. Spanos, John Pongsajapan, Steven H. Low, Richard M. Murray |
Asynchronous distributed averaging on communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 15(3), pp. 512-520, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
TCP/IP, asynchronous computation, distributed averaging |
20 | Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Asynchronous Agreement and Its Relation with Error-Correcting Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(7), pp. 865-875, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
erroneous value, fault tolerance, distributed computing, error-correcting code, consensus, Hamming distance, asynchronous distributed system, condition, crash failure, coding theory, Agreement problem, interactive consistency |
20 | Francesco Quaglia, Paolo Romano 0002 |
Ensuring e-Transaction with Asynchronous and Uncoordinated Application Server Replicas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(3), pp. 364-378, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Web-based transactional systems, three-tier systems, asynchronous replication, reliability |
20 | Nagendra J. Kumar, Vasanth Asokan, Siddhartha Shivshankar, Alexander G. Dean |
Efficient software implementation of embedded communication protocol controllers using asynchronous software thread integration with time- and space-efficient procedure calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 6(1), pp. 2, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous software thread integration, J1850, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency |
20 | Milos Krstic, Eckhard Grass, Frank K. Gürkaynak, Pascal Vivet |
Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 24(5), pp. 430-441, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
asynchronous/synchronous operation, VLSI, interfaces, GALS |
20 | Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan |
A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 71-78, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader |
20 | Jen-Chih Huang, Xiangmin Jiao, Richard M. Fujimoto, Hongyuan Zha |
DAG-guided parallel asynchronous variational integrators with super-elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 691-697, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
asynchronous variational integrators, parallelism, multithreading, DAG, dependence graph |
20 | Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia |
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 144-163, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems |
20 | Caterina Poggi, Nicoletta Di Blas |
Evaluating Asynchronous Message Boards to Support Cross-Cultural Communities of High-School Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2007, 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers, pp. 484-495, 2007, Springer, 978-3-540-78138-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous Discussion, Evaluation, Cross-Cultural, Learning Community, Forum, Message Board |
20 | Victor Khomenko, Mark Schäfer, Walter Vogler |
Output-Determinacy and Asynchronous Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, pp. 147-156, 2007, IEEE Computer Society, 978-0-7695-2902-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
output-determinacy, OR-causality, decomposition, asynchronous circuits, STG |
20 | Vladimir Elokhin, Andrey Matveev, Vladimir Gorodetskii, Evgenii Latkin |
Hysteresis in Oscillatory Behaviour in CO Oxidation Reaction over Pd(110) Revealed by Asynchronous Cellular Automata Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings, pp. 401-409, 2007, Springer, 978-3-540-73939-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CO oxidation, palladium, surface waves, asynchronous cellular automata, hysteresis in oscillatory regimes, oscillations |
20 | Mohamed Kawokgy, C. André T. Salama |
A low-power CSCD asynchronous viterbi decoder for wireless applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007, pp. 363-366, 2007, ACM, 978-1-59593-709-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
current sensing completion detection, low-power, synchronous, wireless, digital signal processing, asynchronous, viterbi, handshaking |
20 | Yan Li, Zhuo Kang, Hanping Gao |
Automatic Data Mining by Asynchronous Parallel Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings, pp. 485-492, 2007, Springer, 978-3-540-74580-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
asynchronous parallel algorithms, higher order of ordinary differential equations, dynamic data, Evolutionary modeling |
20 | Michael A. Bender, Cynthia A. Phillips |
Scheduling DAGs on asynchronous processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, pp. 35-45, 2007, ACM, 978-1-59593-667-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
asynchronous parallel computing, firing-squad scheduling, precedence-constrained scheduling, online scheduling |
20 | Doug Lea, Steve Vinoski, Werner Vogels |
Guest Editors' Introduction: Asynchronous Middleware and Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(1), pp. 14-17, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Asynchronous Transfer Mode (ATM) networking, distributed systems, middleware, publish-subscribe, Web-based systems |
20 | SungJin Choi, HongSoo Kim, EunJoung Byun, Chong-Sun Hwang, MaengSoon Baik |
Reliable Asynchronous Message Delivery for Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(6), pp. 16-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
asynchronous message delivery, reliability, mobile agent systems |
20 | Nicola Dragoni, Mauro Gaspari |
Crash failure detection in asynchronous agent communication languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 13(3), pp. 355-390, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Robust multi-agent systems, Open asynchronous multi-agent systems, Anonymous interaction, Knowledge level agents, Multi-agent systems, Agent communication languages |
20 | Ralf Klasing, Euripides Markou, Andrzej Pelc |
Gathering Asynchronous Oblivious Mobile Robots in a Ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings, pp. 744-753, 2006, Springer, 3-540-49694-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mobile robot, asynchronous, ring, gathering |
20 | Feng Shi 0010, Yiorgos Makris |
Testing delay faults in asynchronous handshake circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2006 International Conference on Computer-Aided Design, ICCAD 2006, San Jose, CA, USA, November 5-9, 2006, pp. 193-197, 2006, ACM, 1-59593-389-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test generation, asynchronous circuits, delay faults, handshake circuits |
20 | Xiaojun Geng |
Solving identification problem for asynchronous finite state machines using genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1413-1414, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
asynchronous finite state machines, genetic algorithms, model identification, coding schemes |
20 | Srikanta Tirthapura, Bojian Xu, Costas Busch |
Sketching asynchronous streams over a sliding window. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 82-91, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
asynchronous streams, sketches of streams, union of streams, aggregates, sliding windows, data stream processing, distributed streams |
20 | Jacques M. Bahi, Raphaël Couturier, Philippe Vuillemin |
JaceV: A Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2006, 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers, pp. 79-92, 2006, Springer, 978-3-540-71350-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Asynchronous iterative algorithms, computational science problems, desktop grid computing, volatile nodes |
20 | Nikhil Jayakumar, Rajesh Garg, Bruce Gamache, Sunil P. Khatri |
A PLA based asynchronous micropipelining approach for subthreshold circuit design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 419-424, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
micro-pipelining, asynchronous, PLA, sub-threshold |
20 | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard |
Distributed Monitoring of Concurrent and Asynchronous Systems*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 33-84, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concurrent, fault diagnosis, distributed, asynchronous, unfoldings, fault management, event structures |
20 | Roy Friedman, Achour Mostéfaoui, Michel Raynal |
Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China, pp. 15-22, 2005, IEEE Computer Society, 0-7695-2492-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Computing abstraction, Non blocking atomic commit, Distributed algorithm, Message passing, Consensus, Asynchronous system, Failure detector |
20 | Supradeep Narayana |
On-Chip Communication Hardware Resources for Globally Asynchronous and Locally Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 8th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2005, December 7-9. 2005, Las Vegas, Nevada, USA, pp. 208-213, 2005, IEEE Computer Society, 0-7695-2509-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Globally asynchronous and locally synchronous, voltage and frequency islands, local buffer controllers, island level global controllers, buffers |
20 | Binoy Ravindran, Peng Li 0020 |
DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(2), pp. 201-216, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Asynchronous real-time systems, proactive resource allocation, switched real-time Ethernet, MLLF, EDF, distributed real-time systems, aperiodic tasks |
20 | Nagendra J. Kumar, Siddhartha Shivshankar, Alexander G. Dean |
Asynchronous software thread integration for efficient software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 37-46, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
J1850, asynchronous software thread integration, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency |
20 | Chunhua Weng, John H. Gennari |
Asynchronous collaborative writing through annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2004 ACM Conference on Computer Supported Cooperative Work, CSCW 2004, Chicago, Illinois, USA, November 6-10, 2004, pp. 578-581, 2004, ACM, 1-58113-810-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
annotation, collaborative writing, asynchronous collaboration |
20 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 16-25, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits |
20 | Yijun Liu, Stephen B. Furber |
The design of a low power asynchronous multiplier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 301-306, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Booth's algorithm, low power, benchmark, multiplier, asynchronous logic |
20 | Hemangee K. Kapoor, Mark B. Josephs |
Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 830-833, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
asynchronous logic synthesis, delay-insensitive decomposition |
20 | Tongchit Tantikul, D. Manivannan 0001 |
A Communication-Induced Checkpointing and Asynchronous Recovery Algorithm for Multithreaded Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Parallel and Distributed Computing: Applications and Technologies, 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings, pp. 284-292, 2004, Springer, 3-540-24013-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Communication-induced checkpointing, Multithreaded distributed system, Asynchronous recovery, Fault-tolerance, Distributed checkpointing |
20 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Conditions on input vectors for consensus solvability in asynchronous distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(6), pp. 922-954, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fault-tolerance, message-passing, shared memory, Asynchronous systems, crash failures, atomic registers, consensus problem |
20 | Jiong Yang 0001, Wei Wang 0010, Philip S. Yu |
Mining Asynchronous Periodic Patterns in Time Series Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(3), pp. 613-628, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Asynchronous periodic pattern, segment-based approach, partial periodicity |
20 | Shu-Chin Wang, Kuo-Qin Yan, Chien-Fu Cheng |
Asynchronous consensus protocol for the unreliable un-fully connected network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 37(3), pp. 43-54, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
asynchronous consensus, dual failure mode, un-fully connected network, failure detector, fault tolerant distributed system |
20 | Maria Toeroe |
Performance Simulation of Cluster-Based Asynchronous Soft Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 6(4), pp. 315-324, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
performance evaluation, cluster computing, asynchronous systems, event-driven, interactive simulation |
20 | Hyung Seok Kim, Tarek F. Abdelzaher, Wook Hyun Kwon |
Minimum-energy asynchronous dissemination to mobile sinks in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 2003, Los Angeles, California, USA, November 5-7, 2003, pp. 193-204, 2003, ACM, 1-58113-707-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
asynchronous dissemination, minimum, sensor network, mobility, energy |
20 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
A Hierarchy of Conditions for Asynchronous Interactive Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings, pp. 130-140, 2003, Springer, 3-540-40673-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Erroneous Value, Fault-Tolerance, Error-Correcting Code, Hamming Distance, Condition, Crash Failure, Atomic Register, Interactive Consistency, Asynchronous Shared Memory System |
20 | Arash Saifhashemi, Hossein Pedram |
Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 330-333, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CHP, PLI, CSP, asynchronous circuits, channel, verilog |
20 | Tamir Hegazy, Binoy Ravindran |
Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(8), pp. 945-962, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Asynchronous real-time distributed systems, proactive resource allocation, best-effort resource allocation, best-effort real-time scheduling, benefit functions, switched real-time Ethernet, distributed real-time systems, adaptive resource allocation |
20 | Benjamin M. Brosgol, Scott Robbins, Ricardo J. Hassan II |
Asynchronous Transfer of Control in the Real-Time Specification for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 101-108, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Asynchronous Transfer of Control, Java, Real-Time Systems, Concurrency, Threads, Asynchrony |
20 | Emmanuelle Anceaume, Eric Mourgaya |
Unreliable Distributed Timing Scrutinizer: Adapting Asynchronous Algorithms to the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 70-78, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
performance failures, unreliable distributed timing detector, stable network, asynchronous system |
20 | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 227-, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis |
20 | Pierre Spitéri, Ming Chau |
Parallel Asynchronous Richardson Method for the Solution of Obstacle Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 16th Annual International Symposium on High Performance Computing Systems and Applications, HPCS 2002, June 16-19, 2002, Moncton, NB, Canada, pp. 133-138, 2002, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
parallel iterative algorithms, asynchronous iterations, obstacle problem |
20 | Rick Gross, Suzanne Ryanstrati, John Ims |
Increasing transaction processing efficiency by automating an asynchronous processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, CHI 2002, Minneapolis, Minnesota, USA, April 20-25, 2002, pp. 674-675, 2002, ACM, 1-58113-454-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
asynchronous data validation, automated data processing, computer productivity, contextual analysis, artificial intelligence |
20 | Hiroshi Saito, Alex Kondratyev, Takashi Nanya |
Design of Asynchronous Controllers with Delay Insensitive Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 93-98, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
delay insensitive interface, gate-level transformation, behavioral transformation, asynchronous circuits, hazards |
20 | Toru Takahashi, Hideaki Takeda 0001 |
Proposal of a script language for embodied conversational agents as asynchronous conversational media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 1387-1388, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
agent language and environments, interface agents & conversational agents, online community, asynchronous communication |
20 | Christophe Genolini, Sébastien Tixeuil |
A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 212-, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Dynamic problems, Lower bound, Self-stabilization, Asynchronous systems, Transient failures, Time adaptivity |
20 | Joep L. W. Kessels, Suk-Jin Kim, Ad M. G. Peeters, Paul Wielage |
Clock Synchronization through Handshake Signalling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK, pp. 59-68, 2002, IEEE Computer Society, 0-7695-1540-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
GALS systems, pausible clocks, asynchronous crossbar/bus, processor/memory architectures |
20 | Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel |
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 93-100, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Group Membership Problem, Primary Component, Partitionable System, Asynchronous Distributed System, Process Crash |
20 | Christian Hardless, Johan Lundin, Urban Nulden |
Mandatory Participation in Asynchronous Learning Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
mandatory participation, business education, collaborative learning, examination, formative assessment, Asynchronous learning networks |
20 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Conditions on input vectors for consensus solvability in asynchronous distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 153-162, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerance, consensus, asynchronous systems |
20 | Jiandong Li, Zhuo Kang, Yan Li, Hongqing Cao, Pu Liu |
Automatic Data Mining by Asynchronous Parallel Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 99-107, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Asynchronous parallel algorithm, Data Mining, knowledge discovery, evolutionary modeling |
20 | Sridhar Ramesh, Harry G. Perros |
A Multilayer Client-Server Queueing Network Model with Synchronous and Asynchronous Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(11), pp. 1086-1100, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Client-Server networks, synchronous and asynchronous messages, software bottlenecks, queueing networks, software performance modeling |
20 | Katsuya Tanaka, Makoto Takizawa 0001 |
Asynchronous Checkpointing Protocol for Object-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 218-225, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Distributed Object-based System, Fault-Tolerant, Group communication, Rollback Recovery, Asynchronous protocol |
20 | Nuno M. Preguiça, José Legatheaux Martins, Henrique João L. Domingos, Sérgio Duarte |
Data management support for asynchronous groupware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW 2000, Proceeding on the ACM 2000 Conference on Computer Supported Cooperative Work, Philadelphia, PA, USA, December 2-6, 2000, pp. 69-78, 2000, ACM, 1-58113-222-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
asynchronous groupware, development support, object framework, mobile computing, awareness |
20 | Karin Becker, Ana Paula Terra Bacelo |
The Evaluation of GRADD: A GDSS Supporting Asynchronous and Distributed Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: 6th International Workshop on Groupware (CRIWG 2000), 18-20 October 2000, Madeira, Portugal, pp. 19-, 2000, IEEE Computer Society, 0-7695-0828-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
GRADD, asynchronous meetings, rationale model, discussion support, voting techniques, deliberation activities, automatic norm control, process structure definition, IBIS model, process control, group decision support systems, group decision support system, system evaluation, distributed meetings, system functionality |
20 | Ke-Thia Yao, In-Young Ko, Ragy Eleish, Robert Neches |
Asynchronous information space analysis architecture using content and structure-based service brokering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM DL ![In: Proceedings of the Fifth ACM Conference on Digital Libraries, June 2-7, 2000, San Antonio, TX, USA, pp. 133-142, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
asynchronous service access, content and structure, data-driven brokering, metadata, information management, component architecture, information analysis |
20 | Kyeounsoo Kim, Peter A. Beerel, Youpyo Hong |
An asynchronous matrix-vector multiplier for discrete cosine transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2000 International Symposium on Low Power Electronics and Design, 2000, Rapallo, Italy, July 25-27, 2000, pp. 256-261, 2000, ACM, 1-58113-190-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
asynchronous matrix-vector multiplier, discrete cosine transform |
20 | Andrea Di Blas, Richard Hughey |
Explicit SIMD Programming for Asynchronous Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 12th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2000), 10-12 July 2000, Boston, MA, USA, pp. 258-267, 2000, IEEE Computer Society, 0-7695-0716-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
SIMD parallel computers, asynchronous and irregular problems, UCSC Kestrel, MasPar MP-2, parallel programming model |
20 | Alexandre V. Bystrov, D. J. Kinniment, Alexandre Yakovlev |
Priority Arbiters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel, pp. 128-137, 2000, IEEE Computer Society, 0-7695-0586-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
dynamic priority, asynchronous circuits, concurrent systems, arbiters, static priority |
20 | Vara Varavithya, Prasant Mohapatra |
Asynchronous Tree-Based Multicasting in Wormhole-Switched MINs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(11), pp. 1159-1178, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Asynchronous tree-based multicasting, deadlock configurations, multicast routing algorithm, multistage interconnection networks, wormhole switching |
20 | Felix C. Gärtner |
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 31(1), pp. 1-26, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
failure correction, possibility detection, fault tolerance, message passing, redundancy, safety, fault models, liveness, asynchronous system, failure detection, consensus problem, agreement problem, predicate detection |
Displaying result #501 - #600 of 18148 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|