17298 search results - page 375 / 3460 » Abstract computing machines |
144
click to vote
ASM
2005
ASM
16 years 9 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
165
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Despite significant progress in the development of Grid infrastructure, the provisioning of a customized and controllable remote execution environment remains an open iss...
164
click to vote
HYBRID
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
169
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
184
click to vote
MLMI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper presents a novel approach to the problem of estimating and tracking 3D locations of multiple targets in a scene using measurements gathered from multiple calib...