1878 search results - page 35 / 376 » The Vienna Abstract Machine |
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
CIE
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor step...
CIE
2009
Springer
14 years 4 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
PDCAT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Beowulf-class clusters use a diverse collection of queue management software, and interconnect technology, often causing inter-cluster operability issues. We present a Un...