Sciweavers

1005 search results - page 116 / 201
» Agile Methods for Embedded Systems
Sort
View
137
Voted
PERCOM
2011
ACM
14 years 6 months ago
Using prediction to conserve energy in recognition on mobile devices
—As devices are expected to be aware of their environment, the challenge becomes how to accommodate these abilities with the power constraints which plague modern mobile devices....
Dawud Gordon, Stephan Sigg, Yong Ding, Michael Bei...
125
Voted
ICPR
2006
IEEE
16 years 3 months ago
Object Tracking Using Globally Coordinated Nonlinear Manifolds
We present a dynamic inference algorithm in a globally parameterized nonlinear manifold and demonstrate it on the problem of visual tracking. An appearance manifold is usually non...
Che-Bin Liu, Ming-Hsuan Yang, Narendra Ahuja, Ruei...
105
Voted
FM
2009
Springer
123views Formal Methods» more  FM 2009»
15 years 9 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
120
Voted
JTRES
2009
ACM
15 years 9 months ago
On transforming Java-like programs into memory-predictable code
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
Diego Garbervetsky, Sergio Yovine, Víctor A...
109
Voted
RTCSA
1998
IEEE
15 years 6 months ago
Protocol Synthesis from Context-Free Processes Using Event Structures
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
Akio Nakata, Teruo Higashino, Kenichi Taniguchi