Sciweavers

196 search results - page 6 / 40
» concurrency 1998
Sort
View
TOPLAS
1998
55views more  TOPLAS 1998»
15 years 3 months ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
TODAES
1998
42views more  TODAES 1998»
15 years 3 months ago
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems
Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, S...
143
Voted
INFSOF
1998
93views more  INFSOF 1998»
15 years 3 months ago
An effective class hierarchy concurrency control technique in object-oriented database systems
In this paper, we present a locking-based concurrency control scheme for object-oriented databases (OODBs). Our scheme deals with class hierarchy which is an important property in...
Woochun Jun, Le Gruenwald
173
Voted
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 8 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee