2436 search results - page 225 / 488 » Comonadic Notions of Computation |
163
click to vote
CIE
2005
Springer
16 years 7 days ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
164
click to vote
EUROPAR
2005
Springer
16 years 7 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...
175
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
147
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
185
click to vote
ICTAC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...