Search results for "deadlock-free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Andreas Schroeder 0001, Philip Mayer	Verifying Interaction Protocol Compliance of Service Orchestrations.	ICSOC	2008	DBLP DOI BibTeX RDF
10	Roberto Bruni, Leonardo Gaetano Mezzina	Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.	AMAST	2008	DBLP DOI BibTeX RDF
10	Mathias Kohler, Andreas Schaad	Avoiding Policy-based Deadlocks in Business Processes.	ARES	2008	DBLP DOI BibTeX RDF	Security, Access Control, Business Process, Deadlock Avoidance
10	Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang	Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory.	HPCC	2008	DBLP DOI BibTeX RDF
10	Ioana Zelina, Grigor Moldovan, Petrica Pop Sitar	Some Communication Aspects in Extended Fibonacci Cubes.	SAINT	2008	DBLP DOI BibTeX RDF
10	Arash Shamaei, Hamid Sarbazi-Azad	An Adaptive and Fault-Tolerant Routing Algorithm for Meshes.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Performance evaluation, fault-tolerance, Interconnection networks, Routing algorithms, Adaptive routing
10	Canwen Xiao, Minxuan Zhang, Yong Dou, Zhitong Zhao	Dimensional Bubble Flow Control and Fully Adaptive Routing in the 2-D Mesh Network on Chip.	EUC (1)	2008	DBLP DOI BibTeX RDF
10	Rémi Morin	Semantics of Deterministic Shared-Memory Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
10	Andres Mejia, José Flich, José Duato	On the Potentials of Segment-Based Routing for NoCs.	ICPP	2008	DBLP DOI BibTeX RDF
10	Pat Pik-Wah Chan, Michael R. Lyu	Dynamic Web Service Composition: A New Approach in Building Reliable Web Service.	AINA	2008	DBLP DOI BibTeX RDF	Web Service, Composition
10	Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak	Agvs Distributed Control Subject to Imprecise Operation Times.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	scheduling, fuzzy set, knowledge engineering, constraints logic programming, deadlock avoidance
10	Edya Ladan-Mozes, Charles E. Leiserson	A consistency architecture for hierarchical shared caches.	SPAA	2008	DBLP DOI BibTeX RDF	mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree
10	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
10	Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu	A Formal Model for Channel Passing in Web Service Composition.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Channel passing, Web Service, Orchestration, Choreography
10	Sanjay Kumar Madria, Mohammed Baseer, Vijay Kumar 0002, Sourav S. Bhowmick	A transaction model and multiversion concurrency control for mobile database systems.	Distributed Parallel Databases	2007	DBLP DOI BibTeX RDF	Multiversions, Concurrency, Locking, Timestamps, Mobile transaction
10	Ilias Iliadis, Wolfgang E. Denzel	Resequencing Worst-Case Analysis for Parallel Buffered Packet Switches.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
10	Olivier Tardieu	A deterministic logical semantics for pure Esterel.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Synchronous languages, structural operational semantics
10	George Michelogiannakis, Dionisios N. Pnevmatikatos, Manolis Katevenis	Approaching Ideal NoC Latency with Pre-Configured Routes.	NOCS	2007	DBLP DOI BibTeX RDF
10	Yuho Jin, Eun Jung Kim 0001, Ki Hwan Yum	A Domain-Specific On-Chip Network Design for Large Scale Cache Systems.	HPCA	2007	DBLP DOI BibTeX RDF
10	Yiming Lau, Wenyun Zhao, Xin Peng 0001, Zhixiong Jiang, Liwei Shen	Coordination-Policy Based Composed System Behavior Derivation.	APSEC	2007	DBLP DOI BibTeX RDF
10	Xinming Duan, Yulu Yang, Mei Yang, Lei Li, Yingtao Jiang	Topology and Binary Routing Schemes of A PRDT-Based NoC.	ITNG	2007	DBLP DOI BibTeX RDF
10	Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	Performance, Cost, and Energy Evaluation of Fat H-Tree: A Cost-Efficient Tree-Based On-Chip Network.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Radia Benheddi, Frédéric Loulergue	Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML.	PPAM	2007	DBLP DOI BibTeX RDF	divide-and-conquer parallelism, functional programming, parallel composition
10	Seung Eun Lee, Jun Ho Bahn, Nader Bagherzadeh	Design of a Feasible On-Chip Interconnection Network for a Chip Multiprocessor (CMP).	SBAC-PAD	2007	DBLP DOI BibTeX RDF
10	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
10	Yang Ni, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman	Open nesting in software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	abstract locks, open nesting, transactional memory, nested transactions
10	Nicolas Baudru, Rémi Morin	Synthesis of Safe Message-Passing Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF
10	Jiazheng Zhou, Xuan-Yi Lin, Yeh-Ching Chung	A Tree-Turn Model for Irregular Networks.	NCA	2006	DBLP DOI BibTeX RDF
10	José Javier Astrain, Alberto Córdoba, Jesús E. Villadangos	A B2B Distributed Replication Service.	PDP	2006	DBLP DOI BibTeX RDF
10	Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli	Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.	EWSA	2006	DBLP DOI BibTeX RDF
10	Tomohiro Yoshihara, Dai Kobayashi, Ryo Taguchi, Haruo Yokota	A Concurrency Control Method for Parallel Btree Structures.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
10	Christoph W. Kessler, Peter Fritzson, Mattias V. Eriksson	NestStepModelica - Mathematical Modeling and Bulk-Synchronous Parallel Simulation.	PARA	2006	DBLP DOI BibTeX RDF
10	Frédéric Loulergue	A calculus of functional BSP programs with projection.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek	Verifying Correctness of Web Services Choreography.	ECOWS	2006	DBLP DOI BibTeX RDF
10	Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	Enforcing Dimension-Order Routing in On-Chip Torus Networks Without Virtual Channels.	ISPA	2006	DBLP DOI BibTeX RDF
10	Ankur Agarwal, Mehmet Mustafa, Abhijit S. Pandya	QOS Driven Network-on-Chip Design for Real Time Systems.	CCECE	2006	DBLP DOI BibTeX RDF
10	Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai	An Initial Task Assignment Method for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity.	ETFA	2006	DBLP DOI BibTeX RDF
10	Nen-Chung Wang, Chih-Ping Chu	An Efficient Tree-Based Multicasting Algorithm on Wormhole-Routed Star Graph Interconnection Networks Embedded with Hamiltonian Path.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	parallel computing, multicast, wormhole routing, star graphs, tree-based routing
10	Jingcao Hu, Radu Marculescu	Energy- and performance-aware mapping for regular NoC architectures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
10	Alberto Córdoba, Jesús E. Villadangos, José Javier Astrain, José Enrique Armendáriz-Iñigo	A B2B Replication Service.	PDP	2005	DBLP DOI BibTeX RDF	persistent data storing, XML, CORBA, B2B, RDBMS, replication service
10	Jianqiang Hu, Changguo Guo, Huaimin Wang, Peng Zou	Web Services Peer-to-Peer Discovery Service for Automated Web Service Composition.	ICCNMC	2005	DBLP DOI BibTeX RDF
10	Anand Singh Jalal, Sanjay Tanwani, Ashwani Kumar Ramani	Optimistic Concurrency Control in Firm Real-Time Databases.	IWDC	2005	DBLP DOI BibTeX RDF
10	Axel Martens	Analyzing Web Service Based Business Processes.	FASE	2005	DBLP DOI BibTeX RDF
10	Neng-Chung Wang, Chih-Ping Chu, Tzung-Shi Chen	Multipath-Based Multicasting Strategies for Wormhole-Routed Star Graph Interconnection Networks.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	parallel computing, multicast, wormhole routing, multipath routing, star graphs
10	Quan Lu, Maged M. Dessouky, Robert C. Leachman	Modeling train movements through complex rail networks.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	modeling, Trains, deadlock, dispatching
10	Dag Nyström, Mikael Nolin, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson	Pessimistic Concurrency Control and Versioning to Support Database Pointers in Real-Time Databases.	ECRTS	2004	DBLP DOI BibTeX RDF
10	Yongyan Wang, Qiang Wang, Hongan Wang, Guozhong Dai	Dynamic Adjustment of Execution Order in Real-Time Databases.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Tor Skeie, Olav Lysne, José Flich, Pedro López 0001, Antonio Robles, José Duato	LASH-TOR: A Generic Transition-Oriented Routing Algorithm.	ICPADS	2004	DBLP DOI BibTeX RDF
10	Nozar Tabrizi, Nader Bagherzadeh, Amir Hosein Kamalizad, Haitao Du	MaRS: a macro-pipelined reconfigurable system.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	2D-mesh network, multimedia, computer graphics, wireless communication, reconfigurable architectures, MIMD
10	Suresh Jagannathan, Jan Vitek	Optimistic Concurrency Semantics for Transactions in Coordination Languages.	COORDINATION	2004	DBLP DOI BibTeX RDF
10	Sourabh Saluja, Anshul Kumar	Performance Analysis of Inter Cluster Communication Methods in VLIW Architecture.	VLSI Design	2004	DBLP DOI BibTeX RDF
10	Jipeng Zhou, Francis C. M. Lau 0001	Adaptive Fault-Tolerant Wormhole Routing with Two Virtual Channels in 2D Meshes.	ISPAN	2004	DBLP DOI BibTeX RDF	adaptive fault-tolerant rout-ing, disjoint fault-connected regions, wormhole routing, Virtual channel, deadlock freedom
10	Tao Li, Yang Yu, Peng Li, Jingpeng Xu, Xirong Ma, Yulu Yang	Practical Routing and Torus Assignment for RDT.	ISPAN	2004	DBLP DOI BibTeX RDF
10	Heng Yu, Grant E. Weddell	Investigations in tree locking for compiled database applications.	CASCON	2004	DBLP BibTeX RDF
10	Giacinto Paolo Saggese, Claudio Basile, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems.	SRDS	2004	DBLP DOI BibTeX RDF
10	Tei-Wei Kuo, Aloysius K. Mok	Schedulability and Performance Analysis of the Similarity Stack Protocol.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	real-time data access, data similarity, Delta-serializability, concurrency control, Real-time databases, process scheduling, distributed data management
10	Simon J. Gay, Rajagopal Nagarajan	Intensional and Extensional Semantics of Dataflow Programs.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Categorical semantics, Interaction categories, Kahn semantics, Synchronous computation, Dataflow
10	Thierry Grandpierre, Yves Sorel	From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations.	MEMOCODE	2003	DBLP DOI BibTeX RDF
10	Jingcao Hu, Radu Marculescu	Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures.	DATE	2003	DBLP DOI BibTeX RDF
10	Brian Towles, William J. Dally, Stephen P. Boyd	Throughput-centric routing algorithm design.	SPAA	2003	DBLP DOI BibTeX RDF	interconnection networks, multicommodity flows, oblivious routing
10	Jon A. Solworth	Integrated Network Barriers.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	integrated network barriers, routing, parallel processing, interconnection networks, high-performance computing, barrier synchronization
10	Jianping Song, Zifeng Hou, Yadong Qu	Efficient Tree-Based Multicast in Wormhole-Routed Networks.	HiPC	2002	DBLP DOI BibTeX RDF
10	Chien-Min Wang, Yomin Hou, Lih-Hsing Hsu	Adaptive Path-Based Multicast on Wormhole-Routed Hypercubes.	Euro-Par	2002	DBLP DOI BibTeX RDF
10	Seungjin Park, Steven Seidel, Jong-Hoon Youn	Fault-Tolerant Broadcasting in Wormhole-Routed Torus Networks.	IPDPS	2002	DBLP DOI BibTeX RDF
10	Ching-Tien Ho, Larry J. Stockmeyer	A New Approach to Fault-Tolerant Wormhole Routing for Mesh-Connected Parallel Computers.	IPDPS	2002	DBLP DOI BibTeX RDF
10	Neng-Chung Wang, Chih-Ping Chu, Tzung-Shi Chen	Dual-Hamiltonian-Path-Based Multicasting on Wormhole-Routed Star Graph Interconnection Networks.	ICPADS	2002	DBLP DOI BibTeX RDF	Multicast, wormhole routing, virtual channels, star graphs, path-based routing
10	Walter Maydl, Bernhard Sick, Werner Grass	Towards a Specification Technique for Component-Based Measurement and Control Software for Embedded Systems.	EUROMICRO	2002	DBLP DOI BibTeX RDF
10	Leo Ojala, Nisse Husberg, Teemu Tynjälä	Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Mobile computing, Reachability analysis, High-level Petri nets
10	Jocelyn Sérot, Dominique Ginhac, Roland Chapuis, Jean-Pierre Dérutin	Fast prototyping of parallel-vision applications using functional skeletons.	Mach. Vis. Appl.	2001	DBLP DOI BibTeX RDF	Computer vision, Parallelism, Functional programming, Skeleton, Fast prototyping, Road following, CAML
10	Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila	Partitioning of Hierarchical Automation Systems.	ECRTS	2001	DBLP DOI BibTeX RDF
10	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
10	María del Carmen Carrión 0001, Gregorio Díaz 0001, María Blanca Caminero	Performance Issues of Deterministic and Adaptive Ghost-Packet Routers.	ICPP	2001	DBLP DOI BibTeX RDF	VLSI router de-sign, routing algorithms, k-ary n-cube networks
10	Yuzhong Sun, Paul Y. S. Cheung, Xiaola Lin	Recursive Cube of Rings: A New Topology for Interconnection Networks.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Scalable computer systems, recursive cube of rings (RCR), plane property, embedding, message routing
10	Jörg Hoffmann 0001	A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.	ISMIS	2000	DBLP DOI BibTeX RDF
10	Ingebjørg Theiss, Olav Lysne	Deadlock Avoidance for Wormhole Based Switches.	Euro-Par	2000	DBLP DOI BibTeX RDF
10	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of message sequence charts.	ICSE	2000	DBLP DOI BibTeX RDF	concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
10	Jie Wu 0001	A Fault-Tolerant Adaptive and Minimal Routing Approach in n-D Meshes.	ICPP	2000	DBLP DOI BibTeX RDF
10	Vivek Halwan, Füsun Özgüner, Atakan Dogan	Routing in Wormhole-Switched Clustered Networks with Applications to Fault Tolerance.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	fault tolerance, meshes, routing algorithms, Wormhole-switching, scalable systems, clustered networks
10	Dongho Yoo, Inbum Jung, Seung Ryoul Maeng, Hyunglae Roh	Multistage Ring Network: A New Multiple Ring Network for Large Scale Multiprocessors.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Multiple ring network, Interconnection network, Multiprocessors, Ring network
10	W. Stephen Lacy, José Cruz-Rivera, D. Scott Wills	The Offset Cube: A Three-Dimensional Multicomputer Network Topology Using Through-Wafer Optics.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	MPP networks, ultra-compact systems, offset cube, 3D packaging, through-wafer signaling, adaptive routing, optical interconnect, deadlock freedom, 3D mesh
10	Naoki Kobayashi 0001	Type-Based Analysis of Concurrent Programs.	Types in Compilation	1998	DBLP DOI BibTeX RDF
10	Claudio Casetti, Emilio Leonardi, Fabio Neri, Cosimo Anglano	Multicasting at the Host Interface Level in Wormhole Networks.	ICNP	1998	DBLP DOI BibTeX RDF
10	Vivek Halwan, Füsun Özgüner	Routing in Wormhole-Switched Clustered Networks with Applications to Fault-Tolerance.	ICPP	1998	DBLP DOI BibTeX RDF
10	Hsing-Lung Chen, Nian-Feng Tzeng	A Boolean Expression-Based Approach for Maximum Incomplete Subcube Identification in Faulty Hypercubes.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	incomplete subcubes, distributed algorithms, reconfiguration, Boolean expressions, faulty hypercubes
10	Abdel-Halim Smai, Lars-Erik Thorelli	Distance-Based Flow Control in Wormhole Networks.	PCRCW	1997	DBLP DOI BibTeX RDF
10	Peter A. Walker, Sumit Ghosh	Exploiting temporal independence in distributed preemptive circuit simulation.	ED&TC	1997	DBLP DOI BibTeX RDF
10	Jean-Claude Bermond, Miriam Di Ianni, Michele Flammini, Stephane Perennes	Acyclic Orientations for Deadlock Prevention in Interconnection Networks (Extended Abstract).	WG	1997	DBLP DOI BibTeX RDF	communication in interconnection networks, routing, parallel algorithms, graph theory, computational and structural complexity
10	Jau-Der Shih	Adaptive Fault-Tolerant Wormhole Routing Algorithms for Hypercube and Mesh Interconnection.	IPPS	1997	DBLP DOI BibTeX RDF
10	SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment.	ICPADS	1997	DBLP DOI BibTeX RDF	unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations
10	Marleen Adé, Rudy Lauwereins, J. A. Peperstraete	Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets.	DAC	1997	DBLP DOI BibTeX RDF
10	Ran Libeskind-Hadas, Kevin Watkins, Thomas Hehre	Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels.	HPCA	1996	DBLP DOI BibTeX RDF
10	Mario Gerla, Prasasth Palnati, Simon Walton	Multicasting Protocols for High-Speed, Wormhole-Routing Local Area Networks.	SIGCOMM	1996	DBLP DOI BibTeX RDF
10	Daniel G. Rice, José G. Delgado-Frias, Douglas H. Summerville	A Pattern-Associative Router for Interconnection Network Adaptive Algorithms.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	Dimiter R. Avresky, Chris M. Cunningham	Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual Channels.	EDCC	1996	DBLP DOI BibTeX RDF
10	Kimon P. Valavanis, Srinivasan Ramaswamy, Steve P. Landry	Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Intelligent materials handling system, diagnostic intelligence, extended Petri nets, hierarchical decomposition
10	Kohei Honda 0001	Types for Dyadic Interaction.	CONCUR	1993	DBLP DOI BibTeX RDF
10	Meichun Hsu, Bin Zhang 0004	Performance Evaluation of Cautious Waiting.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	cautious waiting, concurrency control
10	José Duato	Improving the Efficiency of Virtual Channels with Time-Dependent Selection Functions.	PARLE	1992	DBLP DOI BibTeX RDF
10	E. Klein	Parallel ordered attribute grammars.	ICCL	1992	DBLP DOI BibTeX RDF
10	Ge-Ming Chiu, Suresh Chalasani, Cauligi S. Raghavendra	Flexible, fault-tolerant routing criteria for circuit-switched hypercubes.	ICDCS	1991	DBLP DOI BibTeX RDF