Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Marina M. N. Zenun, Geilson Loureiro	A Framework for Requirements Concurrent Engineering.	CE	2012	DBLP DOI BibTeX RDF
23	Germán Urrego-Giraldo, Gloria Lucía Giraldo G.	A Process Model Representation for Supporting Concurrent Engineering.	CE	2012	DBLP DOI BibTeX RDF
23	Teruaki Ito	A Concurrent Engineering Approach Towards Digital Dentistry Support.	CE	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.	CE	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.	CE	2012	DBLP DOI BibTeX RDF
23	Hassaan Anwar Khan, Irfan Anjum Manarvi	Concurrent Engineering Implementation in a Cellular Service Provider.	CE	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.	CE	2012	DBLP DOI BibTeX RDF
23	Giuliani Paulineli Garbi, Geilson Loureiro	Model-Based System Concurrent Engineering.	CE	2012	DBLP DOI BibTeX RDF
23	Joze Tavcar, Ales Slak, Joze Duhovnik	Concurrent Process Planning and Scheduling Applied Into Production of Turned Parts.	CE	2012	DBLP DOI BibTeX RDF
23	Joze Tavcar, Urban Potocnik, Joze Duhovnik	PLM Used as a Backbone for Concurrent Engineering in Supply Chain.	CE	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.	CE	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.	CE	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.	CE	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.	CE	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.	CE	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.	CE	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.	CE	2010	DBLP DOI BibTeX RDF
23	Duda Jan, Pobozniak Janusz	Concurrent Development of Products, Processes and Manufacturing Systems in PLM Environments.	CE	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.	CE	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.	EUROCAST	1999	DBLP DOI BibTeX RDF
22	Neha Rungta, Eric Mercer	Slicing and dicing bugs in concurrent programs.	ICSE (2)	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.	CAV	2009	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger	Termination criteria for solving concurrent safety and reachability games.	SODA	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.	PerCom	2009	DBLP DOI BibTeX RDF
22	Aarti Gupta	Model Checking Concurrent Programs.	VMCAI	2009	DBLP DOI BibTeX RDF
22	Benyun Shi, Kwang Mong Sim	A Regression-based Coordination for Concurrent Negotiation.	ISECS	2008	DBLP DOI BibTeX RDF
22	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF
22	Akash Lal, Thomas W. Reps	Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis.	CAV	2008	DBLP DOI BibTeX RDF
22	Claudia-Lavinia Ignat, Gérald Oster	Awareness of Concurrent Changes in Distributed Software Development.	OTM Conferences (1)	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.	COMPSAC	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.	CSSE (5)	2008	DBLP DOI BibTeX RDF
22	Fangli Pu, Hai-Yin Xu	A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs.	ICNSC	2008	DBLP DOI BibTeX RDF
22	Shangping Ren, Jerzy Nogiec	Developing Concurrent Applications on Emerging Multicore Platforms.	CISIS	2008	DBLP DOI BibTeX RDF
22	Ellis Rowland Watkins, Mark McArdle, Thomas Leonard, Mike Surridge	Cross-Middleware Interoperability in Distributed Concurrent Engineering.	eScience	2007	DBLP DOI BibTeX RDF
22	Jing Dai, Chang-Tien Lu	CLAM: concurrent location management for moving objects.	GIS	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.	ICEBE	2007	DBLP DOI BibTeX RDF
22	Peggy B. McGee, Steven M. Nowick	An efficient algorithm for time separation of events in concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
22	Paul A. Strooper, Luke Wildman	Testing Concurrent Java Components.	ICSE Companion	2007	DBLP DOI BibTeX RDF
22	Srikanta Tirthapura, Costas Busch	Concurrent counting is harder than queuing.	IPDPS	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.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
22	Youmin Ke, Shanli Hu	A Concurrent Agent Model Based on Twin-Subset Semantic.	PRIMA	2006	DBLP DOI BibTeX RDF
22	Paul A. Strooper, Luke Wildman	Testing concurrent java components.	ICSE	2006	DBLP DOI BibTeX RDF	concurrency, component, testing methodology
22	Edward A. Lee	Concurrent Semantics Without the Notions of State or State Transitions.	FORMATS	2006	DBLP DOI BibTeX RDF
22	Vishwani D. Agrawal, Alok S. Doshi	Concurrent Test Generation.	Asian Test Symposium	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.	VL/HCC	2005	DBLP DOI BibTeX RDF
22	Cynthia Dwork, Moni Naor, Amit Sahai	Concurrent zero-knowledge.	J. ACM	2004	DBLP DOI BibTeX RDF	composition, cryptographic protocols, Zero knowledge
22	Tatsuya Abe 0001	A Concurrent System of Multi-ported Processes with Causal Dependency.	APLAS	2004	DBLP DOI BibTeX RDF
22	Amiram Hayardeny, Shachar Fienblit, Eitan Farchi	Concurrent and Distributed Desk Checking.	IPDPS	2004	DBLP DOI BibTeX RDF
22	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
22	Bo Song, Huaxin Zeng, Liquan Yue	On Concurrent Multi-port Test System for Routers and Its Support Tools.	PDCAT	2004	DBLP DOI BibTeX RDF
22	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement.	Formal Aspects Comput.	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.	CSFW	2003	DBLP DOI BibTeX RDF
22	Eitan Farchi, Yarden Nir, Shmuel Ur	Concurrent Bug Patterns and How to Test Them.	IPDPS	2003	DBLP DOI BibTeX RDF
22	Håkan Sundell, Philippas Tsigas	Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems.	IPDPS	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.	ZB	2003	DBLP DOI BibTeX RDF
22	Shimon Whiteson, Peter Stone	Concurrent layered learning.	AAMAS	2003	DBLP DOI BibTeX RDF	adaptation, learning, evolution
22	Eran Yahav	Verifying safety properties of concurrent Java programs using 3-valued logic.	POPL	2001	DBLP DOI BibTeX RDF	Java
22	Emmanuel Simeu, Ahmad Abdelhay, Mohammad A. Naal	Robust Self Concurrent Test of Linear Digital Systems.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
22	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Computing Executable Slices for Concurrent Logic Programs.	APAQS	2001	DBLP DOI BibTeX RDF
22	Alexander B. Romanovsky, Jörg Kienzle	Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
22	Chris Exton	Elucidate: a tool to aid comprehension of concurrent object oriented execution.	ITiCSE	2000	DBLP DOI BibTeX RDF
22	Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan	A More Expressive Monitor for Concurrent Java Programming.	Euro-Par	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.	DISC	2000	DBLP DOI BibTeX RDF
22	Giovanni Di Crescenzo	Removing Complexity Assumptions from Concurrent Zero-Knowledge Proofs.	COCOON	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.	PADL	1999	DBLP DOI BibTeX RDF
22	Klaus Schneider 0001, Michaela Huhn, George Logothetis	Validation of Object-Oriented Concurrent Designs by Model Checking.	CHARME	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.	ISCOPE	1998	DBLP DOI BibTeX RDF
22	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.	CSMR	1998	DBLP DOI BibTeX RDF
22	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	A Metrics Suite for Concurrent Logic Programs.	CSMR	1998	DBLP DOI BibTeX RDF
22	Atef Bader, Tzilla Elrad	The Adaptive Arena: Language Constructs and Architectural Abstractions for Concurrent Object-Oriented Systems.	ICPADS	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.	ITC	1998	DBLP DOI BibTeX RDF
22	Xiaogang Zhang, John Potter	A Compositional Approach to Concurrent Objects.	TOOLS (27)	1998	DBLP DOI BibTeX RDF
22	Ilies Alouini, Claude Kirchner	Toward the Concurrent Implementation of Computational Systems.	ALP	1996	DBLP DOI BibTeX RDF
22	John Plevyak, Xingbin Zhang, Andrew A. Chien	Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages.	POPL	1995	DBLP DOI BibTeX RDF
22	Andy Evans	Specifying & Verifying Concurrent Systems Using Z.	FME	1994	DBLP DOI BibTeX RDF
22	José Meseguer 0001	Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming.	ECOOP	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.	REX Workshop	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.	ACM SIGPLAN Notices	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.	PARLE (2)	1991	DBLP DOI BibTeX RDF
22	Steven K. Goering, Simon M. Kaplan	Visual Concurrent Object-Based Programming in GARP.	PARLE (2)	1989	DBLP DOI BibTeX RDF
22	Rajit Gadh, Donna Herbert, Alexander Kott, Charles P. Kollar	Feature-Based Design for Manufacturability Critique in Concurrent Engineering.	MIT-JSME Workshop	1989	DBLP DOI BibTeX RDF
22	Roberto Salama, Wentai Liu, Ronald S. Gyurcsik	Software experience with concurrent C and LISP in a distributed system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	C, UNIX, LISP
22	James R. Larus, Paul N. Hilfinger	Restructuring Lisp Programs for Concurrent Execution.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	LISP
22	Janice M. Stone	A Graphical Representation of Concurrent Processes.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
22	Yossi Lichtenstein, Ehud Shapiro	Concurrent Algorithmic Debugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
22	Maurice Herlihy, Jeannette M. Wing	Axioms for Concurrent Objects.	POPL	1987	DBLP DOI BibTeX RDF
22	Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing	On the Parameterized Algebraic Specification of Concurrent Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
22	Jørgen Staunstrup	Analysis of concurrent algorithms.	CONPAR	1981	DBLP DOI BibTeX RDF
22	Kousha Etessami, Patrice Godefroid	An Abort-Aware Model of Transactional Programming.	VMCAI	2009	DBLP DOI BibTeX RDF
22	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
22	Baruch Awerbuch, Christian Scheideler	The hyperring: a low-congestion deterministic data structure for distributed environments.	SODA	2004	DBLP BibTeX RDF
22	Gian-Luigi Ferrari 0002	On Causality Observed Incrementally, Finally.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
22	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.	POPL	1983	DBLP DOI BibTeX RDF
22	Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan	Partial memoization of concurrency and communication.	ICFP	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.	DFT	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.	INFOVIS	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].	WETICE	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.	IEEE Trans. Parallel Distributed Syst.	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.	Optim. Lett.	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.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands