1870 search results - page 232 / 374 » Abstract And-Parallel Machines |
PVM
2007
Springer
14 years 2 months ago
2007
Springer
Institutional grids consist of the aggregation of clusters belonging to different administrative domains to build a single parallel machine. To run an MPI application over an inst...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
TSD
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The orthography of many resource-scarce languages includes diacritically marked characters. Falling outside the scope of the standard Latin encoding, these characters are...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— Delegating the coordination role to proxy agents can improve the overall outcome of the task at the expense of cognitive overload due to switching subtasks. Stability and commi...