5159 search results - page 563 / 1032 » Structural Testing of Executables |
233
click to vote
HPDC
1997
IEEE
15 years 11 months ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
195
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
186
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
232
click to vote
WSC
2008
15 years 10 months ago
2008
Parallel and distributed simulation facilitates the construction of a simulation application (i.e., federation in HLA terminology) with a number of simulation components (federate...
280
click to vote
AUSDM
2008
Springer
15 years 9 months ago
2008
Springer
Malware detection is an important problem today. New malware appears every day and in order to be able to detect it, it is important to recognize families of existing malware. Dat...