1878 search results - page 178 / 376 » The Vienna Abstract Machine |
126
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
171
click to vote
UPP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
148
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
115
click to vote
ALT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A crucial problem in machine learning is to choose an appropriate representation of data, in a way that emphasizes the relations we are interested in. In many cases this ...
154
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...