11112 search results - page 85 / 2223 » Computing Stuttering Simulations |
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
TOG
2002
13 years 8 months ago
2002
Several techniques have been developed to approximate Bidirectional Reflectance Distribution Functions (BRDF) with acceptable quality and performance for realtime applications. Th...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract—This paper studies the problem of distributed computation over a network of wireless sensors. While this problem applies to many emerging applications, to keep our discu...
ICPP
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--This research investigates the problem of robust dynamic resource allocation for heterogeneous distributed computing systems operating under imposed constraints. Often, s...
INFORMATICALT
2010
13 years 6 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...