Sciweavers

17298 search results - page 112 / 3460
» Abstract computing machines
Sort
View
172
Voted
ICAC
2006
IEEE
16 years 6 days ago
Hardness of Approximation and Greedy Algorithms for the Adaptation Problem in Virtual Environments
— Over the past decade, wide-area distributed computing has emerged as a powerful computing paradigm. Virtual machines greatly simplify wide-area distributed computing ing the ab...
Ananth I. Sundararaj, Manan Sanghi, John R. Lange,...
112
Voted
SIGGRAPH
1995
ACM
15 years 9 months ago
Automated learning of muscle-actuated locomotion through control abstraction
Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1
Radek Grzeszczuk, Demetri Terzopoulos
180
Voted
ICSE
2007
IEEE-ACM
16 years 9 days ago
Design, Implementation and Deployment of State Machines Using a Generative Approach
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcros...
165
Voted
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
ICPR
2004
IEEE
16 years 7 months ago
Optimal Inference for Hierarchical Skeleton Abstraction
Alexandru Telea, Cristian Sminchisescu, Sven J. Di...