|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10846 occurrences of 3886 keywords
|
|
|
Results
Found 18005 publication records. Showing 18005 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Marina M. N. Zenun, Geilson Loureiro |
A Framework for Requirements Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 133-144, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Germán Urrego-Giraldo, Gloria Lucía Giraldo G. |
A Process Model Representation for Supporting Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 399-410, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Teruaki Ito |
A Concurrent Engineering Approach Towards Digital Dentistry Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 231-242, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Maria Lucia Miyake Okumura, Marcelo Rudek, Osíris Canciglieri Júnior |
Application of Assistive Technology in a Concurrent Engineering Environment for the Special Products Development: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 933-944, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Xiaojia Zhao, Haiqiang Wang, Ricky Curran, Michel J. L. van Tooren |
Concurrent Aerospace Thermoplastic Stiffened Panel Conceptual Design and Cost Estimation Using Knowledge Based Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 195-206, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Hassaan Anwar Khan, Irfan Anjum Manarvi |
Concurrent Engineering Implementation in a Cellular Service Provider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 435-446, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Miriam C. Bergue Alves, Cynthia Feitosa Leal |
Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 1105-1116, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Giuliani Paulineli Garbi, Geilson Loureiro |
Model-Based System Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 1045-1056, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Joze Tavcar, Ales Slak, Joze Duhovnik |
Concurrent Process Planning and Scheduling Applied Into Production of Turned Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 837-848, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Joze Tavcar, Urban Potocnik, Joze Duhovnik |
PLM Used as a Backbone for Concurrent Engineering in Supply Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 681-692, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Germano Kienbaum, Luiz Alexandre Hiane da Silva Maciel, Geilson Loureiro |
A Framework for Process Science and Technology Applied to Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 1033-1044, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Meenakshi Deshmukh, Volker Schaus, Philipp Martin Fischer, Dominik Quantius, Volker Maiwald |
Decision Support Tool for Concurrent Engineering in Space Mission Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012, pp. 497-508, 2012, Springer, 978-1-4471-4425-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Osíris Canciglieri Júnior, João Pedro Buiarskey Kovalchuk, Marcelo Rudek, Teófilo Miguel de Souza |
Development of White Goods Parts in a Concurrent Engineering Environment Based on DFM/DFA Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 491-501, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Geilson Loureiro, Jonas Bianchini Fulindi, Alessandro Gerlinger Romero, Fabrício de Novaes Kucinskis, Carlos Eduardo Andrade Lemonge, Renan Fernandes Vazquez, Magda Aparecida Silverio Miyashiro |
Systems Concurrent Engineering of an Electrical Ground Support Equipment for an On-Board Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 513-526, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Geilson Loureiro, Jonas Bianchini Fulindi, Javier Efrain Gonzales Alarcón, Luiz Trivelato, Michelle Eller, Valéria Silveira |
Systems Concurrent Engineering to Develop a Green Car. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 569-581, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Geilson Loureiro, Jonas Bianchini Fulindi, Eliseu Zednik Ferreira, Everaldo Silvério, Marcelo Soares Leão |
Systems Concurrent Engineering of an Electric Bike. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 541-553, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Geilson Loureiro, Jonas Bianchini Fulindi, Daniel Arandiga, Ana Elisabete Mitiko Matsumoto Miura, Fernando Arandiga |
Systems Concurrent Engineering of a Turbo-Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 527-540, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Duda Jan, Pobozniak Janusz |
Concurrent Development of Products, Processes and Manufacturing Systems in PLM Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 43-50, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Geilson Loureiro, Jonas Bianchini Fulindi, Letícia Azevedo de Oliveira Fideles, Daniella Fernandes, Rosely Semabukuro, Carlos de Oliveira Lino |
Systems Concurrent Engineering for the Conception of a Hybrid Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CE ![In: New World Situation: New Directions in Concurrent Engineering, Proceedings of the 17th ISPE International Conference on Concurrent Engineering, Cracow, Poland, September 6-10, 2010, pp. 555-567, 2010, Springer, 978-0-85729-023-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Cabarcos, Ramón P. Otero, Silvia Gómez Pose |
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings, pp. 307-318, 1999, Springer, 3-540-67822-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Neha Rungta, Eric Mercer |
Slicing and dicing bugs in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 195-198, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
underapproximation, concurrency, abstraction-refinement |
22 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. ![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. 477-492, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination criteria for solving concurrent safety and reachability games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 197-206, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Tao Gu, Zhanqing Wu, XianPing Tao, Hung Keng Pung, Jian Lu 0001 |
epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Seventh Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009, 9-13 March 2009, Galveston, TX, USA, pp. 1-9, 2009, IEEE Computer Society, 978-1-4244-3304-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Aarti Gupta |
Model Checking Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 2, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Benyun Shi, Kwang Mong Sim |
A Regression-based Coordination for Concurrent Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 699-703, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
|
22 | Akash Lal, Thomas W. Reps |
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. ![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. 37-51, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Claudia-Lavinia Ignat, Gérald Oster |
Awareness of Concurrent Changes in Distributed Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I, pp. 456-464, 2008, Springer, 978-3-540-88870-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Chang-Ai Sun |
A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 160-167, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Software Testing, Model-based Testing, Test Case Generation |
22 | Shaojuan Su, Yindong Liu |
Research on Management of Ship Concurrent Collaborative Design Based on PDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 19-22, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Fangli Pu, Hai-Yin Xu |
A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1559-1564, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Shangping Ren, Jerzy Nogiec |
Developing Concurrent Applications on Emerging Multicore Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 632-637, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ellis Rowland Watkins, Mark McArdle, Thomas Leonard, Mike Surridge |
Cross-Middleware Interoperability in Distributed Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Third International Conference on e-Science and Grid Computing, e-Science 2007, 10-13 December 2007, Bangalore, India, pp. 561-568, 2007, IEEE Computer Society, 0-7695-3064-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jing Dai, Chang-Tien Lu |
CLAM: concurrent location management for moving objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 15th ACM International Symposium on Geographic Information Systems, ACM-GIS 2007, November 7-9, 2007, Seattle, Washington, USA, Proceedings, pp. 38, 2007, ACM, 978-1-59593-914-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrency control, spatial database, b-tree, space filling curve |
22 | Benyun Shi, Kwang Mong Sim |
A Concurrent G-Negotiation Mechanism for Grid Resource Co-allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China, pp. 532-535, 2007, IEEE Computer Society, 0-7695-3003-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Peggy B. McGee, Steven M. Nowick |
An efficient algorithm for time separation of events in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 180-187, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Paul A. Strooper, Luke Wildman |
Testing Concurrent Java Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 161-162, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Srikanta Tirthapura, Costas Busch |
Concurrent counting is harder than queuing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jie Hu 0002, Ying-hong Peng, Dayong Li, Jilong Yin, Guangleng Xiong |
Multidisciplinary Knowledge Modeling from Simulation and Specification to Support Concurrent and Collaborative Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected Papers) ![In: Computer Supported Cooperative Work in Design III, 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers, pp. 570-578, 2006, Springer, 978-3-540-72862-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Youmin Ke, Shanli Hu |
A Concurrent Agent Model Based on Twin-Subset Semantic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 490-495, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Paul A. Strooper, Luke Wildman |
Testing concurrent java components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1075-1076, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrency, component, testing methodology |
22 | Edward A. Lee |
Concurrent Semantics Without the Notions of State or State Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 18-31, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Vishwani D. Agrawal, Alok S. Doshi |
Concurrent Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 294-299, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Takashi Ajiro, Kensei Tsuchida |
A Bit-Level Concurrent Visual Programming Language (A-BITS) and a Base Computation Model (APC) for Its Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 269-271, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Cynthia Dwork, Moni Naor, Amit Sahai |
Concurrent zero-knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(6), pp. 851-898, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
composition, cryptographic protocols, Zero knowledge |
22 | Tatsuya Abe 0001 |
A Concurrent System of Multi-ported Processes with Causal Dependency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 146-162, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Amiram Hayardeny, Shachar Fienblit, Eitan Farchi |
Concurrent and Distributed Desk Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Abhik Roychoudhury, C. R. Ramakrishnan 0001 |
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Development in Computational Logic ![In: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, pp. 261-290, 2004, Springer, 3-540-22152-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Bo Song, Huaxin Zeng, Liquan Yue |
On Concurrent Multi-port Test System for Routers and Its Support Tools. ![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. 469-483, 2004, Springer, 3-540-24013-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 182-214, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness |
22 | Steve Zdancewic, Andrew C. Myers |
Observational Determinism for Concurrent Program Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA, pp. 29-, 2003, IEEE Computer Society, 0-7695-1927-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Eitan Farchi, Yarden Nir, Shmuel Ur |
Concurrent Bug Patterns and How to Test Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 286, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Håkan Sundell, Philippas Tsigas |
Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 84, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Parallel, Shared Memory, Multi-Thread, Priority Queue, Lock-Free, Non-Blocking |
22 | Frédéric Peschanski, David Julien |
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 79-97, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Shimon Whiteson, Peter Stone |
Concurrent layered learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 193-200, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
adaptation, learning, evolution |
22 | Eran Yahav |
Verifying safety properties of concurrent Java programs using 3-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 27-40, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java |
22 | Emmanuel Simeu, Ahmad Abdelhay, Mohammad A. Naal |
Robust Self Concurrent Test of Linear Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, pp. 293-298, 2001, IEEE Computer Society, 0-7695-1378-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
Computing Executable Slices for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings, pp. 13-22, 2001, IEEE Computer Society, 0-7695-1287-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Alexander B. Romanovsky, Jörg Kienzle |
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 147-164, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Chris Exton |
Elucidate: a tool to aid comprehension of concurrent object oriented execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland, June 11-13, 2000, pp. 33-36, 2000, ACM, 1-58113-207-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan |
A More Expressive Monitor for Concurrent Java Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 1053-1060, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr. |
Even Better DCAS-Based Concurrent Deques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings, pp. 59-73, 2000, Springer, 3-540-41143-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Giovanni Di Crescenzo |
Removing Complexity Assumptions from Concurrent Zero-Knowledge Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000, Proceedings, pp. 426-435, 2000, Springer, 3-540-67787-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos |
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 31-45, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Klaus Schneider 0001, Michaela Huhn, George Logothetis |
Validation of Object-Oriented Concurrent Designs by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 360-364, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Antonio J. Nebro, Ernesto Pimentel 0001, José M. Troya |
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCOPE ![In: Computing in Object-Oriented Parallel Environments, Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings, pp. 167-174, 1998, Springer, 3-540-65387-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 8-11 March 1998, Florence, Italy, pp. 60-66, 1998, IEEE Computer Society, 0-8186-8421-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
A Metrics Suite for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 8-11 March 1998, Florence, Italy, pp. 172-178, 1998, IEEE Computer Society, 0-8186-8421-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Atef Bader, Tzilla Elrad |
The Adaptive Arena: Language Constructs and Architectural Abstractions for Concurrent Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: International Conference on Parallel and Distributed Systems, ICPADS '98, Tainan, Taiwan, December 14-16, 1998, pp. 599-606, 1998, IEEE Computer Society, 0-8186-8603-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Ioannis Voyiatzis, Antonis M. Paschalis, Dimitris Nikolos, Constantinos Halatsis |
R-CBIST: an effective RAM-based input vector monitoring concurrent BIST technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 918-925, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Xiaogang Zhang, John Potter |
A Compositional Approach to Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (27) ![In: TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China, pp. 116-126, 1998, IEEE Computer Society, 0-8186-9096-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Ilies Alouini, Claude Kirchner |
Toward the Concurrent Implementation of Computational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 1-31, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | John Plevyak, Xingbin Zhang, Andrew A. Chien |
Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 311-321, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Andy Evans |
Specifying & Verifying Concurrent Systems Using Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 366-380, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | José Meseguer 0001 |
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 220-246, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer |
Towards an Epistemic Approach to Reasoning about Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 261-287, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
verification of distributed programs, Communicating Sequential Processes, logics of knowledge, semantics of concurrency |
22 | Michele Di Santo, Wilma Russo |
The ensemble system: concurrent programming on a personal computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(2), pp. 99-108, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Turbo Pascal |
22 | E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Concurrent Clean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 202-219, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Steven K. Goering, Simon M. Kaplan |
Visual Concurrent Object-Based Programming in GARP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 165-180, 1989, Springer, 3-540-51285-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Rajit Gadh, Donna Herbert, Alexander Kott, Charles P. Kollar |
Feature-Based Design for Manufacturability Critique in Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIT-JSME Workshop ![In: Computer-Aided Cooperative Product Development, MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989, Proceedings, pp. 393-410, 1989, Springer, 3-540-54008-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Roberto Salama, Wentai Liu, Ronald S. Gyurcsik |
Software experience with concurrent C and LISP in a distributed system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 329-334, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
C, UNIX, LISP |
22 | James R. Larus, Paul N. Hilfinger |
Restructuring Lisp Programs for Concurrent Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPOPP/PPEALS ![In: Proceedings of the ACM/SIGPLAN PPEALS 1988, Parallel Programming: Experience with Applications, Languages and Systems, New Haven, Connecticut, USA, July 19-21, 1988, pp. 100-110, 1988, ACM, 0-89791-276-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
22 | Janice M. Stone |
A Graphical Representation of Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, University of Wisconsin, Madison, Wisconsin, USA, May 5-6, 1988, pp. 226-235, 1988, ACM, 0-89791-296-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Yossi Lichtenstein, Ehud Shapiro |
Concurrent Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, University of Wisconsin, Madison, Wisconsin, USA, May 5-6, 1988, pp. 248-260, 1988, ACM, 0-89791-296-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Maurice Herlihy, Jeannette M. Wing |
Axioms for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 13-26, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing |
On the Parameterized Algebraic Specification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), pp. 342-358, 1985, Springer, 3-540-15198-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Jørgen Staunstrup |
Analysis of concurrent algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings, pp. 217-230, 1981, Springer, 3-540-10827-0. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
22 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 59-73, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Christie Bolton |
Adding Conflict and Confusion to CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 205-220, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Baruch Awerbuch, Christian Scheideler |
The hyperring: a low-congestion deterministic data structure for distributed environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004, pp. 318-327, 2004, SIAM, 0-89871-558-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Gian-Luigi Ferrari 0002 |
On Causality Observed Incrementally, Finally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 26-41, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | E. Allen Emerson, Joseph Y. Halpern |
"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 127-140, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
22 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Partial memoization of concurrency and communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 161-172, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
partial memoization, software transactions, concurrent programming, multicore systems, concurrent ml |
22 | Vincenzo Piuri, Earl E. Swartzlander Jr. |
Time-Shared Modular Redundancy for Fault-Tolerant FFT Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '99), November 1-3, 1999, Albuquerque, NM, USA, Proceedings, pp. 265-273, 1999, IEEE Computer Society, 0-7695-0325-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Time-Shared Modular Redundancy, FFT, Concurrent Error Detection, On-Line Testing, Concurrent Error Correction |
22 | Robert J. Hendley, Nick S. Drew, Andrew Wood, Russell Beale |
Case study: Narcissus: visualising information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: IEEE Symposium On Information Visualization 1995, InfoVis 1995, 30-31 October 1995, Atlanta, Georgia, USA, pp. 90-96, 1995, IEEE Computer Society, 0-8186-7201-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Narcissus, complex information spaces, large computer based data sets, visualisation tools, intuitive understanding, information retrieval, World Wide Web, virtual reality, navigation, information systems, information systems, programming environments, visual programming, adaptive systems, data visualisation, information visualisation, software systems, concurrent engineering, concurrent engineering, information networks, user support, object manipulation, data manipulation, self-adjusting systems |
22 | Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst |
Working group report on process [production process workflow in cooperative virtual enterprises]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 8-, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
production engineering computing, production process workflow, cooperative virtual enterprises, large software houses, concurrent engineering methods, industrial products, descriptive notations, distributed object databases, hypertext browsers, Petri nets, tools, process modeling, software development management, concurrent engineering, process design |
22 | Douglas M. Blough, Andrzej Pelc |
Almost Certain Fault Diagnosis Through Algorithm-Based Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(5), pp. 532-539, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
failureanalysis, almost certain fault diagnosis, multiprocessorsystems, incorrect computations, concurrent error detection mechanisms, erroneous dataelements, reliability, fault tolerant computing, multiprocessing systems, error detection, probabilistic analysis, concurrent error detection, algorithm-based fault tolerance |
20 | Massimiliano Caramia, Antonino Sgalambro |
A fast heuristic algorithm for the maximum concurrent k-splittable flow problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 4(1), pp. 37-55, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
k-Splittable flow, Maximum concurrent flow, Multicommodity, Heuristic, Throughput |
20 | Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla |
Translating concurrent action oriented specifications to synchronous guarded actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 47-56, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrent action-oriented specifications, code generation, synchronous languages, guarded commands |
|
|