Sciweavers

196 search results - page 6 / 40
» concurrency 1998
Sort
View
TOPLAS
1998
55views more  TOPLAS 1998»
13 years 10 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»
13 years 10 months ago
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems
Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, S...
INFSOF
1998
93views more  INFSOF 1998»
13 years 10 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
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
14 years 3 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