Sciweavers

34974 search results - page 312 / 6995
» The particle computer system
Sort
View
131
Voted
HICSS
1998
IEEE
67views Biometrics» more  HICSS 1998»
15 years 11 months ago
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track
Alberto Broggi, Michael G. Hinchey, Alexander D. S...
AMAST
1997
Springer
15 years 11 months ago
Parametric Analysis of Computer Systems
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
Farn Wang, Pao-Ann Hsiung
168
Voted
CAV
1993
Springer
112views Hardware» more  CAV 1993»
15 years 11 months ago
Computing Accumulated Delays in Real-time Systems
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzin...
213
Voted
WMRD
1992
15 years 11 months ago
Computing Replica Placement in Distributed Systems
Daniel L. McCue, Mark C. Little