Sciweavers

4604 search results - page 126 / 921
» Concurrency in Synchronous Systems
Sort
View
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...
101
Voted
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
127
Voted
TSE
2002
85views more  TSE 2002»
15 years 3 months ago
Knowledge-Based Automation of a Design Method for Concurrent Systems
Kevin L. Mills, Hassan Gomaa
SIGOPS
2010
88views more  SIGOPS 2010»
15 years 2 months ago
Consistency without concurrency control in large, dynamic systems
Mihai Letia, Nuno M. Preguiça, Marc Shapiro
80
Voted
IJIIP
2010
83views more  IJIIP 2010»
15 years 1 months ago
An Improved Biometrics-based User Authentication Scheme without Concurrency System
Chin-Chen Chang, Shih-Chang Chang, Yu-Wei Lai