Sciweavers

11 search results - page 1 / 3
» cys 2000
Sort
View
58
Voted
CYS
1999
70views more  CYS 1999»
14 years 9 months ago
Using Difference Reduction for Generic Proof Search
Santiago Negrete
CYS
2000
74views more  CYS 2000»
14 years 10 months ago
Limited Preemption in Real-Time Scheduling
Axel W. Krings, M. H. Azadmanesh
CYS
2000
92views more  CYS 2000»
14 years 10 months ago
A Class of Parametric Regular Networks for Multicomputer Architectures
Oleg G. Monakov, Emilia A. Monakhova