2796 search results - page 353 / 560 » A time structure based software reliability model |
216
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
169
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
145
click to vote
WEBNET
2001
15 years 7 months ago
2001
: Teleworking enables a more flexible scheduling of working time and places of work on the way to the modern information society. The rapid development of cooperative application s...
150
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
149
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...