|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 948 occurrences of 513 keywords
|
|
|
Results
Found 684 publication records. Showing 684 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Soojung Lee |
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 47-54, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | M. Al-ladan |
A Survey and a Taxonomy of Approaches for Testing Parallel and Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 273-, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Ekkart Kindler, Axel Martens, Wolfgang Reisig |
Inter-operability of Workflow Applications: Local Criteria for Global Soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, Models, Techniques, and Empirical Studies, pp. 235-253, 2000, Springer, 3-540-67454-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Olav Lysne, José Duato |
Fast Dynamic Reconfiguration in Irregular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 449-460, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Cormac Flanagan, Martín Abadi |
Types for Safe Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 91-108, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Stavros Tripakis |
Verifying Progress in Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 299-314, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Nidhi Agrawal, C. P. Ravikumar |
Adaptive Routing Based on Deadlock Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 981-988, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama |
Handles and Reachability Analysis of Free Choice Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 298-315, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | K. V. Anjan, Timothy Mark Pinkston |
DISHA: a deadlock recovery scheme for fully adaptive routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 537-543, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
DISHA, deadlock recovery scheme, fast routers, performance evaluation, performance, computational complexity, multiprocessor interconnection networks, fully adaptive routing |
19 | Wuxu Peng |
Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 656, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Communication protocols, reachability analysis, specification and verification |
19 | P. Krishna Reddy, Subhash Bhalla |
Deadlock Prevention in a Distributed Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 22(3), pp. 40-46, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Peter Kemper |
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 319-338, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Greg Findlow |
Obtaining Deadlock-Preserving Skeletons for Coloured Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 173-192, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Larry Soulé, Anoop Gupta |
An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 1(4), pp. 308-347, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
MIPS R6000 |
19 | In Kyung Ryu, Alexander Thomasian |
Analysis of Database Performance with Dynamic Locking ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 37(3), pp. 491-523, July 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Shing-Tsaan Huang |
A Distributed Deadlock Detection Algorithm for CSP-Like Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(1), pp. 102-122, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley |
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 10-17, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution |
19 | Marina Roesler, Walter A. Burkhard |
Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 361-370, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz |
Compatibility and Commutativity in Non-two-phase Locking Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 283-292, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz |
Deadlock Removal Using Partial Rollback in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981, pp. 65-73, 1981, ACM Press, 978-0-89791-040-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
18 | Linda Dailey Paulson |
Libraries Face the Challenge of Archiving Digital Material. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 43(5), pp. 16-19, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
born digital content, Dimmunix, piezoelectric, lead zirconate titanate, Alzheimer's Association, GPS, deadlocks, libraries, digital forensics, archive, Alzheimer's disease, software bugs |
18 | Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa |
Minimal Sets of Turns for Breaking Cycles in Graphs Modeling Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 21(9), pp. 1342-1353, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
turn prohibition, Routing algorithms, deadlocks, wormhole routing, livelocks |
18 | Robert A. Chesebrough, Ivan Turner |
Parallel computing: at the interface of high school and industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 280-284, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
intel parallel studio, threading building blocks, parallelism, concurrency, synchronization, openmp, deadlocks, reductions, domain decomposition, role playing, race conditions, critical sections, high school, task decomposition |
18 | Chinmay Eishan Kulkarni, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero |
Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 307-308, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, transactional memory, deadlocks, deadlock-detection |
18 | Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
Reliable and efficient programming abstractions for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 200-210, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming |
18 | Piotr Nienaltowski |
Efficient data race and deadlock prevention in concurrent object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 56-57, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
SCOOP model, object-oriented concurrency, deadlocks, data races, ownership types, Eiffel |
18 | Bassel R. Arafeh |
Clustering Algorithm for Scheduling Parallel Programs on NOWs with Synchronization Requirements at the Application Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Clustering, deadlocks, scheduling algorithms, network of Workstations, synchronous communication |
18 | Elvira Baydal, Pedro López 0001, José Duato |
A Simple and Efficient Mechanism to Prevent Saturation in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 617-622, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
message throttling, performance evaluation, congestion control, deadlocks, wormhole |
18 | Ting-Lu Huang, Chien-Hua Shann |
A Comment on "A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(4), pp. 414-416, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
atomic instructions, deadlocks, race conditions, Critical sections |
18 | Suresh Chalasani, Rajendra V. Boppana |
Communication in Multicomputers with Nonconvex Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(5), pp. 616-622, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Solid faults, routing algorithms, deadlocks, wormhole routing, mesh networks, multicomputers |
18 | Rajendra V. Boppana, Suresh Chalasani |
A Framework for Designing Deadlock-Free Wormhole Routing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(2), pp. 169-183, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Cayley networks, performance evaluation, deadlocks, wormhole routing, Adaptive routing, mesh networks, design techniques, multicomputer networks, de Bruijn networks |
18 | Jörg Liebeherr, Ian F. Akyildiz |
Deadlock properties of queueing networks with finite capacities and multiple routing chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 20(3-4), pp. 409-431, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
blocking networks, deadlocks, Queueing networks, deadlock prevention |
18 | Rajendra V. Boppana, Suresh Chalasani |
Fault-Tolerant Wormhole Routing Algorithms for Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(7), pp. 848-864, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
block faults, performance evaluation, deadlocks, wormhole routing, Adaptive routing, mesh networks, fault-tolerant routing, multicomputer networks |
18 | Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet |
On Liveness in Extended non Self-Controlling Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 25-44, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
deadlocks and traps, liveness |
18 | Ing-Ray Chen, Salah Hassan |
Performance analysis of a periodic data reorganization algorithm for concurrent Blink-trees in database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995, pp. 40-45, 1995, ACM, 0-89791-658-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Blink-trees, concurrent maintenance, periodic maintenance, performance analysis, database, deadlocks, B-trees, algorithm analysis |
18 | Kurt Lautenbach, Hanno Ridder |
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 358-375, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
linear invariants, deadlocks, liveness |
18 | Ing-Ray Chen, Rajakumar Betapudi |
A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994, pp. 539-544, 1994, ACM, 0-89791-647-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
performance analysis, deadlocks, database systems, stochastic Petri net, two-phase locking |
18 | Suresh Chalasani, Rajendra V. Boppana |
Fault-tolerant wormhole routing in tori. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 146-155, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
performance evaluation, deadlocks, wormhole routing, adaptive routing, fault-tolerant routing, message routing, torus networks, multicomputer networks |
18 | Rajendra V. Boppana, Suresh Chalasani |
Fault-tolerant routing with non-adaptive wormhole algorithms in mesh networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '94, Washington, DC, USA, November 14-18, 1994, pp. 693-702, 1994, IEEE Computer Society, 0-8186-6605-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
block faults, nonadaptive routing, deadlocks, wormhole routing, mesh networks, fault-tolerant routing, multicomputer networks |
18 | F. Bukhari, Sylvia L. Osborn |
Two Fully Distributed Concurrency Control Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(5), pp. 872-881, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
distributed concurrency control algorithms, partially replicated distributed databases, schedulers, communication, distributed databases, concurrency control, deadlocks, database theory, locks, timestamps |
18 | Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi |
A User Friendly Software Environment for Protocol Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 477-486, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
user friendly software environment, SEPS, programming language C, procedural programming paradigm, user-friendly interface, multiwindow mechanism, knowledge-based software environment, KSPS, expert system tool OPS83, user interfaces, artificial intelligence, artificial intelligence, protocols, knowledge based systems, programming environments, finite state machine, deadlocks, finite automata, graphic tools, protocol synthesis |
18 | José Manuel Colom, Manuel Silva Suárez |
Improving the linearly based characterization of P/T nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 113-145, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Linear descriptions of P/T nets, Structural analysis of P/T nets, Linear state equation, Spurious solutions, Implicit place, Structurally implicit place, Cutting implicit place, Deadlocks and Traps, Linear Programming |
18 | Ahmed K. Elmagarmid, Ajoy Kumar Datta |
Two-Phase Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(11), pp. 1454-1458, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
deadlock detection algorithm, transaction-wait-for, multiple disjoint controllers, two-phase property, detection step, actual cycle detection, transaction-based distributed processing systems, distributed algorithm, distributed processing, distributed databases, transaction processing, deadlocks |
18 | Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat |
A Formal Definition of Data Flow Graph Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(11), pp. 940-948, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Petri nets, parallel computations, deadlocks, Bipartite graphs, liveness, data flow graphs |
9 | Daniel Cederman, Philippas Tsigas |
Supporting lock-free composition of concurrent data objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 53-62, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
data structures, composition, lock-free |
9 | Daniel Cederman, Philippas Tsigas |
Supporting lock-free composition of concurrent data objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 339-340, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
data structures, composition, lock-free |
9 | JongSoo Park, William J. Dally |
Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15, 2010, pp. 1-10, 2010, ACM, 978-1-4503-0079-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler and tools for concurrent programming, green computing and power-efficient architectures, multi-core architectures, stream programming |
9 | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
A randomized scheduler with probabilistic guarantees of finding bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 167-178, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
testing, concurrency, randomized algorithms, race conditions |
9 | Yang Zhao, John Boyland |
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 277-286, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Taewook Oh, Bernhard Egger 0002, Hyunchul Park 0001, Scott A. Mahlke |
Recurrence cycle aware modulo scheduling for coarse-grained reconfigurable architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 21-30, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software pipelining, placement and routing, coarse-grained reconfigurable architectures |
9 | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
D-Finder: A Tool for Compositional Deadlock Detection and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 614-619, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ganesh Gopalakrishnan, Robert M. Kirby |
Practical Formal Verification of MPI and Thread Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings, pp. 8, 2009, Springer, 978-3-642-03769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark |
Grace: safe multithreaded programming for C/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 81-96, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic concurrency, sequential semantics, concurrency, determinism, fork-join |
9 | Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
Reduced Execution Semantics of MPI: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 724-740, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Srivatsava Daruru, Nena M. Marin, Matt Walker, Joydeep Ghosh |
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 1115-1124, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scalability, predictive modeling, dataflow, co-clustering |
9 | Nehir Sönmez, Tim Harris 0001, Adrián Cristal, Osman S. Unsal, Mateo Valero |
Taking the heat off transactions: Dynamic selection of pessimistic concurrency control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-10, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa |
Deadlock prevention by turn prohibition in interconnection networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-7, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Frédéric Gava, Ilias Garnier |
New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko |
Behavioural Analysis of an I2C Linux Driver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 205-206, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard |
Progress guarantee for parallel programs via bounded lock-freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 144-154, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation |
9 | Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001 |
PRES: probabilistic replay with execution sketching on multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, pp. 177-192, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
replay, concurrency bug |
9 | Mario Bravetti, Gianluigi Zavattaro |
Contract-Based Discovery and Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 261-295, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen |
Constructing minimal protocol adaptors for service composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST ![In: Proceedings of the 4th Workshop on Emerging Web Services Technology, WEWST 2009, Eindhoven, The Netherlands, 9 November 2009, pp. 29-38, 2009, ACM, 978-1-60558-776-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cross-organizational processes, protocol adaptor, web services, service composition, service adaptation, process integration |
9 | Arkadiusz Szymczak, Maciej Paszynski |
Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp-Finite Element Method with Triangular Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 845-854, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Zachary Stengel, Tevfik Bultan |
Analyzing singularity channel contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 13-24, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conversations, asynchronous communication, realizability |
9 | Fancong Zeng |
Pattern-driven deadlock avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, deadlock, exception, just-in-time (JIT) compilation |
9 | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys |
MoonWalker: Verification of .NET Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 170-173, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 47-61, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis |
9 | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay |
Effective static deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 386-396, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Claris Castillo, George N. Rouskas, Khaled Harfoush |
Resource co-allocation for large-scale distributed environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, HPDC 2009, Garching, Germany, June 11-13, 2009, pp. 131-140, 2009, ACM, 978-1-60558-587-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scheduling, advance reservations, resource co-allocation |
9 | Ken Hironaka, Hideo Saito, Kenjiro Taura |
High performance wide-area overlay using deadlock-free routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, HPDC 2009, Garching, Germany, June 11-13, 2009, pp. 81-90, 2009, ACM, 978-1-60558-587-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
grids, bandwidth, collective communication, overlays, parallel applications, deadlock-free routing |
9 | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
Dingo: taming device drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, pp. 275-288, 2009, ACM, 978-1-60558-482-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance |
9 | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur |
Formal verification of practical MPI programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 261-270, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi |
9 | Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002 |
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 327-328, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Claude Kaiser, Jean-François Pradat-Peyre |
Weak Fairness Semantic Drawbacks in Java Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 90-104, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Vladimir M. Vishnevsky, Andrey I. Lyakhov, Alexander A. Safonov, Shaomin S. Mo, Alexander D. Gelman |
Study of Beaconing in Multihop Wireless PAN with Distributed Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 7(1), pp. 113-126, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wi-Media, Beacon collisions, Analytical study, MAC, Distributed Control, Wireless PAN |
9 | Naiqi Wu, MengChu Zhou, ZhiWu Li 0001 |
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 56-69, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | ZhiWu Li 0001, MengChu Zhou |
Control of Elementary and Dependent Siphons in Petri Nets and Their Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 133-148, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Zhijun Ding, Changjun Jiang, MengChu Zhou |
Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 38(3), pp. 881-883, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Zhiwu Li 0001, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(2), pp. 369-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | René Mandiau, Alexis Champion, Jean-Michel Auberlet, Stéphane Espié, Christophe Kolski |
Behaviour based on decision matrices for a coordination between agents in a urban traffic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 28(2), pp. 121-138, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conflict solving, Decision matrices, Autonomous vehicle, Traffic simulation, Multi-agent coordination |
9 | Kun Wang, Yu Zhang, Huayong Wang, Xiaowei Shen |
Parallelization of IBM mambo system simulator in functional modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 42(1), pp. 71-76, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel simulation, dynamic binary translation, architectural simulation |
9 | Vincenzo Giordano, Jing Bing Zhang, David Naso, Frank L. Lewis |
Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(1), pp. 53-70, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | ZhiWu Li 0001, MengChu Zhou, MuDer Jeng |
A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(1), pp. 182-188, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Seth H. Pugsley, Manu Awasthi, Niti Madan, Naveen Muralimanohar, Rajeev Balasubramonian |
Scalable and reliable communication for hardware transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 17th International Conference on Parallel Architectures and Compilation Techniques, PACT 2008, Toronto, Ontario, Canada, October 25-29, 2008, pp. 144-154, 2008, ACM, 978-1-60558-282-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithms for transaction commit, handling message loss, on-chip network messages, token coherence, reliability, hardware transactional memory |
9 | Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace |
FlexPar: Reconfigurable Middleware for Parallel Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 312-316, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 49-58, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby |
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 66-79, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Antidio Viguria, Iván Maza, Aníbal Ollero |
S+T: An algorithm for distributed multirobot task allocation based on services for improving robot cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 3163-3168, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann |
Non-desynchronizable Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 331-346, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | David Herrero Pérez, Humberto Martínez Barberá |
Decentralized coordination of autonomous AGVs in flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3674-3679, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yogesh Murarka, Umesh Bellur |
Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 93-100, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Vivek K. Shanbhag |
Deadlock-Detection in Java-Library Using Static-Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 361-368, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
Compositional Verification for Component-Based Systems and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 64-79, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Daihan Wang, Hiroki Matsutani, Hideharu Amano, Michihiro Koibuchi |
A link removal methodology for Networks-on-Chip on reconfigurable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 269-274, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt |
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTComm ![In: Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks, Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers, pp. 196-216, 2008, Springer, 978-3-540-89053-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
converged container, synchronization contract, Concurrency, negotiation, SIP, servlet, deadlock prevention |
9 | Antonio Robles-Gómez, Aurelio Bermúdez, Rafael Casado, Åshild Grønstad Solheim |
Deadlock-Free Dynamic Network Reconfiguration Based on Close Up*/Down* Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 940-949, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yu Cao 0004, Gopal C. Das, Chee Yong Chan, Kian-Lee Tan |
Optimizing complex queries with multiple relation instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 525-538, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interleaved execution, shared scan, query processing, query optimization |
9 | James H. Hill, Aniruddha S. Gokhale |
Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | John W. McCormick |
MA1: Ada for real-time and parallel processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 5-6, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity |
Displaying result #301 - #400 of 684 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|