1116 search results - page 172 / 224 » Applying Predicate Abstraction to Abstract State Machines |
EUROPAR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Clusters of loosely connected machines are becoming an important model for commercial computing. The cost/performance ratio makes these scale-out solutions an attractive ...
101
click to vote
PERVASIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Mobile phones are increasingly becoming ubiquitous computational devices that are almost always available, individually adaptable, and nearly universally connectable (usi...
105
click to vote
UCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...
SAC
2005
ACM
15 years 4 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...