Sciweavers

1701 search results - page 14 / 341
» Computer Science and State Machines
Sort
View
SOFSEM
2001
Springer
15 years 2 months ago
Pipelined Decomposable BSP Computers
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modi...
Martin Beran
60
Voted
ASM
1998
ASM
15 years 1 months ago
Interacting Abstract State Machines
Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...
SIGCSE
2006
ACM
134views Education» more  SIGCSE 2006»
15 years 3 months ago
jFAST: a java finite automata simulator
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
Timothy M. White, Thomas P. Way
81
Voted
MOBISYS
2008
ACM
15 years 4 hour ago
Transient customization of mobile computing infrastructure
Kimberley enables rapid software provisioning of fixed infrastructure for transient use by a mobile device. It uses virtual machine (VM) technology, but avoids the performance cha...
Adam Wolbach, Jan Harkes, Srinivas Chellappa, Maha...