Sciweavers

26602 search results - page 332 / 5321
» A New Imaging Model
Sort
View
156
Voted
TOPLAS
1998
45views more  TOPLAS 1998»
15 years 7 months ago
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications
Daniel Jackson, Somesh Jha, Craig Damon
SIMULATION
2002
197views more  SIMULATION 2002»
15 years 7 months ago
A New Simulation Tool for the Modeling and Control of Distributed Systems
Fernando G. Gonzalez, Wayne J. Davis
161
Voted
PE
2007
Springer
98views Optimization» more  PE 2007»
15 years 7 months ago
Polling models with renewal arrivals: A new method to derive heavy-traffic asymptotics
Robert D. van der Mei, Erik M. M. Winands