17298 search results - page 269 / 3460 » Abstract computing machines |
178
click to vote
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
159
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Parallel computing on volatile distributed resources requires schedulers that consider job and resource characteristics. We study unconventional computing environments containing ...
131
click to vote
INCDM
2009
Springer
15 years 11 months ago
2009
Springer
Currently, interpretation of medical images is almost exclusively made by specialized physicians. Although, the next decades will most certainly be of change and computer-aided dia...
143
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine has m-counters operating on a one-way input delimited by left a...
150
click to vote
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
—Virtual machines offer unique advantages to the scientific computing community, such as Quality of Service(QoS) guarantee, performance isolation, easy resource management, and ...