Sciweavers

2450 search results - page 369 / 490
» Time Mapping with Hypergraphs
Sort
View
LFCS
2007
Springer
15 years 4 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
SAMOS
2007
Springer
15 years 4 months ago
Towards Multi-application Workload Modeling in Sesame for System-Level Design Space Exploration
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
Mark Thompson, Andy D. Pimentel
SAT
2007
Springer
121views Hardware» more  SAT 2007»
15 years 4 months ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...
SCOPES
2007
Springer
15 years 4 months ago
Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
David Atienza, Christos Baloukas, Lazaros Papadopo...
UCS
2007
Springer
15 years 4 months ago
Discriminative Temporal Smoothing for Activity Recognition from Wearable Sensors
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...
Jaakko Suutala, Susanna Pirttikangas, Juha Rö...