4924 search results - page 746 / 985 » A Software System for Spatial Data Analysis and Modeling |
218
click to vote
APSEC
1996
IEEE
15 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
206
click to vote
EWC
2010
15 years 5 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
173
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
172
Voted
SIGMETRICS
2000
ACM
15 years 11 months ago
2000
ACM
We consider an architecture for a serverless distributed file system that does not assume mutual trust among the client computers. The system provides security, availability, and ...
217
click to vote
ICSEA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...