Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Jongeun Lee, Aviral Shrivastava	Static analysis of processor stall cycle aggregation.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	memory bound loops, processor free time, stall cycle aggregation, embedded systems, low power, code transformation
9	Basile Schaeli, Roger D. Hersch	Dynamic testing of flow graph based parallel applications.	PADTAD	2008	DBLP DOI BibTeX RDF
9	Eric Bodden, Klaus Havelund	Racer: effective race detection using aspectj.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts
9	Dong Xiang, Yi Pan 0001, Qi Wang, Zhen Chen	Deadlock-Free Fully Adaptive Routing in 2-Dimensional Tori Based on New Virtual Network Partitioning Scheme.	ICDCS	2008	DBLP DOI BibTeX RDF
9	Wei Huang, Deyu Qi 0001	A Local Deadlock Detection and Resolution Algorithm for Process Networks.	CSSE (3)	2008	DBLP DOI BibTeX RDF
9	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning.	CSSE (5)	2008	DBLP DOI BibTeX RDF
9	Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau	Adapting Petri Nets Reductions to Promela Specifications.	FORTE	2008	DBLP DOI BibTeX RDF
9	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
9	Jörg Domaschka, Thomas Bestfleisch, Franz J. Hauck, Hans P. Reiser, Rüdiger Kapitza	Multithreading Strategies for Replicated Objects.	Middleware	2008	DBLP DOI BibTeX RDF
9	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
9	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
9	Sudipta Kundu, Malay K. Ganai, Rajesh Gupta 0001	Partial order reduction for scalable testing of systemC TLM designs.	DAC	2008	DBLP DOI BibTeX RDF	simulation, verification, testing, partial-order reduction
9	Frédéric Gava, Jean Fortin	Formal Semantics of a Subset of the Paderborn's BSPlib.	PDCAT	2008	DBLP DOI BibTeX RDF
9	Niels Lohmann	Why Does My Service Have No Partners?.	WS-FM	2008	DBLP DOI BibTeX RDF	partner synthesis, verification, Controllability, diagnosis
9	Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano	An Effective Design of Deadlock-Free Routing Algorithms Based on 2D Turn Model for Irregular Networks.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	interconnection networks, Adaptive routing, PC clusters, deadlock avoidance, irregular topologies, system area networks, turn model
9	Mariagrazia Dotoli, Maria Pia Fanti	Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
9	Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen	Checking safety properties on-the-fly with the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Sweep-line method, On-the-fly model checking, Datagram Congestion Control Protocol
9	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
9	Alban Douillet, Guang R. Gao	Software-Pipelining on Multi-Core Architectures.	PACT	2007	DBLP DOI BibTeX RDF
9	Che-Fu Hsueh, Mei-Shiang Chang	A new design of the bi-directional automated guided vehicle system.	SCSC	2007	DBLP BibTeX RDF	automated guided vehicle (AGV), scheduling, deadlock, conflict, dispatching
9	Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek	Streamflex: high-throughput stream programming in java.	OOPSLA	2007	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, stream processing, ownership types
9	Hugo Costelha, Pedro U. Lima	Modelling, analysis and execution of robotic tasks using petri nets.	IROS	2007	DBLP DOI BibTeX RDF
9	Bas Ploeger, Lou J. Somers	Analysis and verification of an automatic document feeder.	SAC	2007	DBLP DOI BibTeX RDF	copier, mCRL, process algebra, document systems
9	Matthew J. Bridges, Neil Vachharajani, Yun Zhang 0005, Thomas B. Jablin, David I. August	Revisiting the Sequential Programming Model for Multi-Core.	MICRO	2007	DBLP DOI BibTeX RDF
9	Salman Abdul Moiz, Lakshmi Rajamani	Single Lock Manager Approach for Achieving Concurrency Control in Mobile Environments.	HiPC	2007	DBLP DOI BibTeX RDF	Fixed Host, Transaction, Commit, Rollback, Timer, Mobile Host
9	Nan Wang, Azeez Sanusi, Peiyi Zhao, Shaheen Mohamed, Magdy A. Bayoumi	PMCNOC: A Pipelining Multi-Channel Central Caching Network-on-Chip Communication Architecture Design.	SiPS	2007	DBLP DOI BibTeX RDF
9	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
9	Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst	Understanding the Occurrence of Errors in Process Models Based on Metrics.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
9	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	2007	DBLP DOI BibTeX RDF	deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
9	Gero Decker, Mathias Weske	Behavioral Consistency for B2B Process Integration.	CAiSE	2007	DBLP DOI BibTeX RDF
9	Thanasis Loukopoulos, Nikos Tziritas, Petros Lampsas, Spyros Lalis	Implementing Replica Placements: Feasibility and Cost Minimization.	IPDPS	2007	DBLP DOI BibTeX RDF
9	John W. McCormick	MA1: real-time and parallel processing in ada.	SIGAda	2007	DBLP DOI BibTeX RDF
9	Hendrik Post, Wolfgang Küchlin	Integrated Static Analysis for Linux Device Driver Verification.	IFM	2007	DBLP DOI BibTeX RDF
9	Soojung Lee	Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
9	Frédéric Gava	Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	BSP Functional Programming, divide-and-conquer
9	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
9	Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar	Healing data races on-the-fly.	PADTAD	2007	DBLP DOI BibTeX RDF	testing, concurrency, self-healing
9	Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler	Adaptor Synthesis for Real-Time Components.	TACAS	2007	DBLP DOI BibTeX RDF
9	Elzbieta Roszkowska	DES-Based Coordination of Space-Sharing Mobile Robots.	EUROCAST	2007	DBLP DOI BibTeX RDF	Multiple mobile robot system, collision and deadlock avoidance, DES-based model, event-driven control, supervisory control
9	Michel dos Santos Soares, Jos L. M. Vrancken	Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic.	ICNSC	2007	DBLP DOI BibTeX RDF
9	Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli	SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.	ICSE	2007	DBLP DOI BibTeX RDF
9	Qi Gao 0004, Feng Qin, Dhabaleswar K. Panda 0001	DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements.	SC	2007	DBLP DOI BibTeX RDF	parallel programs, anomaly detection, data movements, bug detection
9	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
9	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
9	César Sánchez 0001, Henny B. Sipma, Zohar Manna	A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.	FASE	2007	DBLP DOI BibTeX RDF
9	Louis Gesbert, Frédéric Loulergue	Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML.	PDCAT	2007	DBLP DOI BibTeX RDF
9	Milo M. K. Martin, Colin Blundell, E Christopher Lewis	Subtleties of Transactional Memory Atomicity Semantics.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
9	Sarah Damiani, Christopher Griffin 0001, Shashi Phoha, Stephen A. Racunas, Christopher Rogan	Verification of Secure Network Protocols in Uncertain Environments.	Int. J. Wirel. Inf. Networks	2006	DBLP DOI BibTeX RDF	pushdown machine, Protocol verification, discrete event control
9	Jianlong Zhang, Petros A. Ioannou, Anastasios Chassiakos	Automated container transport system between inland port and terminals.	ACM Trans. Model. Comput. Simul.	2006	DBLP DOI BibTeX RDF	Automated container transportation system, automated truck, vehicle control, Petri nets, supervisory control
9	Ibrahim Armac, Michael Kirchhof, Liviana Manolescu	Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection.	ECBS	2006	DBLP DOI BibTeX RDF
9	Frank Puhlmann, Mathias Weske	Interaction Soundness for Service Orchestrations.	ICSOC	2006	DBLP DOI BibTeX RDF
9	Akiya Kamimura	A Novel Mobile Robot Design for High Maneuverability.	IROS	2006	DBLP DOI BibTeX RDF
9	Yi Li, Kamal Gupta 0001	A Hybrid Two-layered Approach to Real-Time Motion Planning of Multiple Agents in Virtual Environments.	IROS	2006	DBLP DOI BibTeX RDF
9	Arjan J. Mooij, Judi Romijn, Wieger Wesselink	Realizability Criteria for Compositional MSC.	AMAST	2006	DBLP DOI BibTeX RDF
9	Donald C. Craig, Wlodzimierz M. Zuberek	Compatibility of Software Components - Modeling and Verification.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
9	Tom Wanyama, Behrouz Homayoun Far	An Agent Negotiation Engine for Collaborative Decision Making.	MDAI	2006	DBLP DOI BibTeX RDF
9	Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu 0029	Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.	SAINT	2006	DBLP DOI BibTeX RDF
9	Bernd Burgstaller, Bernhard Scholz, Johann Blieberger	Symbolic Analysis of Imperative Programming Languages.	JMLC	2006	DBLP DOI BibTeX RDF
9	Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu 0008	Formal performance evaluation of AMBA-based system-on-chip designs.	EMSOFT	2006	DBLP DOI BibTeX RDF	performance evaluation, model checking, system-on-chip
9	Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo	Designing application-specific networks on chips with floorplan information.	ICCAD	2006	DBLP DOI BibTeX RDF	networks on chips, topology, floorplan, deadlock-free routing
9	José Miguel Montañana, José Flich, Antonio Robles, José Duato	Reachability-Based Fault-Tolerant Routing.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
9	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
9	César Sánchez 0001, Henny B. Sipma, Christopher D. Gill, Zohar Manna	Distributed Priority Inheritance for Real-Time and Embedded Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
9	José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí, José Ramón Garitagoitia, J. R. Juárez-Rodríguez, José Ramón González de Mendívil	Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL.	ISPA	2006	DBLP DOI BibTeX RDF
9	Christopher Gottbrath	Software tools II - Debugging code written for Multi-Core chip architectures.	SC	2006	DBLP DOI BibTeX RDF
9	Xiaobin Li, Jean-Luc Gaudiot	Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors.	PRDC	2006	DBLP DOI BibTeX RDF
9	Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg	McRT-STM: a high performance software transactional memory system for a multi-core runtime.	PPoPP	2006	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment
9	Jaime Spacco, David Hovemeyer, William W. Pugh	Tracking defect warnings across versions.	MSR	2006	DBLP DOI BibTeX RDF	bug histories, bug tracking, Java, static analysis, FindBugs
9	Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Rüdiger Kapitza, Wolfgang Schröder-Preikschat	Consistent Replication of Multithreaded Distributed Objects.	SRDS	2006	DBLP DOI BibTeX RDF
9	Florin Sultan, Aniruddha Bohra, Stephen Smaldone, Yufei Pan, Pascal Gallard, Iulian Neamtiu, Liviu Iftode	Recovering Internet Service Sessions from Operating System Failures.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF	remote healing, service session state, dependability, Recovery
9	Yong Ho Song, Timothy Mark Pinkston	Distributed Resolution of Network Congestion and Potential Deadlock Using Reservation-Based Scheduling.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	router scheduling, Interconnection networks, deadlock, congestion, router architecture
9	Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel 0001, Pierluigi San Pietro	A scalable formal method for design and automatic checking of user interfaces.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	applications of model checking, Human-computer interaction (HCI), GUI design
9	Klaus Havelund, Allen Goldberg	Verify Your Runs.	VSTTE	2005	DBLP DOI BibTeX RDF
9	Ishai Rabinovitz, Orna Grumberg	Bounded Model Checking of Concurrent Programs.	CAV	2005	DBLP DOI BibTeX RDF
9	Bing Han, Jonathan Billington	Termination Properties of TCP's Connection Management Procedures.	ICATPN	2005	DBLP DOI BibTeX RDF
9	Sohini Dasgupta, Alexandre Yakovlev	Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures.	DATE	2005	DBLP DOI BibTeX RDF
9	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal	The Price of Coordination in Resource Management.	Business Process Management	2005	DBLP DOI BibTeX RDF
9	Amy L. Williams, William Thies, Michael D. Ernst	Static Deadlock Detection for Java Libraries.	ECOOP	2005	DBLP DOI BibTeX RDF
9	Dumitru Potop-Butucaru, Benoît Caillaud	Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.	ACSD	2005	DBLP DOI BibTeX RDF
9	Frédéric Loulergue	Optimizing Bulk Synchronous Parallel ML.	SNPD	2005	DBLP DOI BibTeX RDF
9	Cristian Tapus, Jason Hickey	Distributed synchronization with shared semaphore sets.	CCGRID	2005	DBLP DOI BibTeX RDF
9	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
9	Martin Helmut Alt, Andreas Hoheisel, Hans Werner Pohl, Sergei Gorlatch	A Grid Workflow Language Using High-Level Petri Nets.	PPAM	2005	DBLP DOI BibTeX RDF
9	Subhash Bhalla, Masaki Hasegawa	Parallelizing Serializable Transactions Within Distributed Real-Time Database Systems.	EUC	2005	DBLP DOI BibTeX RDF
9	Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.	WORDS	2005	DBLP DOI BibTeX RDF	dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns
9	Sven-Arne Reinemo, Tor Skeie	Ethernet as a Lossless Deadlock Free System Area Network.	ISPA	2005	DBLP DOI BibTeX RDF
9	Adamo Castelnuovo, Luca Ferrarini	Petri net models of agent-based control of a FMS with randomly generated recipes.	ETFA	2005	DBLP DOI BibTeX RDF
9	Yosuke Sugiyama, Tomoya Enokido, Makoto Takizawa 0001	Lattice-Based Precedence of Moderate Lock Modes on Objects.	AINA	2005	DBLP DOI BibTeX RDF
9	Gauthier Picard, Sehl Mellouli, Marie-Pierre Gleizes	Techniques for Multi-agent System Reorganization.	ESAW	2005	DBLP DOI BibTeX RDF
9	Paolo Romano 0002, Francesco Quaglia	A Path-Diversity Protocol for the Invocation of Distributed Transactions over the Web.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
9	Sukhamay Kundu	Deadlock-Free Distributed Relaxed Mutual-Exclusion Without Revoke-Messages.	IWDC	2005	DBLP DOI BibTeX RDF
9	Anand Singh Jalal, Sanjay Tanwani, Ashwani Kumar Ramani	Optimistic Concurrency Control in Firm Real-Time Databases.	IWDC	2005	DBLP DOI BibTeX RDF
9	Xi Chen 0024, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe	Simulation based deadlock analysis for system level designs.	DAC	2005	DBLP DOI BibTeX RDF	cyclic dependency, metropolis, simulation, synchronization, deadlock, system level
9	Naiyong Jin, Jifeng He 0001	Towards A Truly Concurrent Model for Processes Sharing Resources.	SEFM	2005	DBLP DOI BibTeX RDF	Trace Model, Resource Sharing, Semantic Model
9	ZhiWu Li 0001, MengChu Zhou	Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
9	Patrice Godefroid, Sarfraz Khurshid	Exploring very large state spaces using genetic algorithms.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Genetic algorithms, Model checking, Verification, Heuristics, State-space exploration
9	Patrice Godefroid	Invited Talk: "Model checking" software with VeriSoft.	PASTE	2004	DBLP DOI BibTeX RDF
9	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	DBLP DOI BibTeX RDF
9	Nicolae Goga, Judi Romijn	Guiding Spin Simulation.	ICFEM	2004	DBLP DOI BibTeX RDF
9	Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu	Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets.	ICRA	2004	DBLP DOI BibTeX RDF