3667 search results - page 323 / 734 » Software Rejuvenation - Modeling and Analysis |
164
click to vote
TOPLAS
2008
15 years 6 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
304
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
178
click to vote
FPT
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes the design and implementation of hardware architectures for posture analysis. Posture analysis is an active research area in computer vision. It can be used i...
171
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
198
click to vote
HCI
2009
15 years 4 months ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...