Sciweavers

2361 search results - page 55 / 473
» Embedded Systems - Challenges and Work Directions
Sort
View
123
Voted
EMSOFT
2001
Springer
15 years 7 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
120
Voted
FPL
2007
Springer
124views Hardware» more  FPL 2007»
15 years 9 months ago
HARTES Toolchain Early Evaluation: Profiling, Compilation and HDL Generation
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
Koen Bertels, Georgi Kuzmanov, Elena Moscu Panaint...
CVPR
2000
IEEE
16 years 4 months ago
Arbitrary View Position and Direction Rendering for Large-Scale Scenes
This paper presents a new method for rendering views, especially those of large-scale scenes, such as broad city landscapes. The main contribution of our method is that we are abl...
Takuji Takahashi, Hiroshi Kawasaki, Katsushi Ikeuc...
110
Voted
SYSTOR
2010
ACM
15 years 7 months ago
On the DMA mapping problem in direct device assignment
I/O intensive workloads running in virtual machines can suffer massive performance degradation. Direct assignment of I/O devices to virtual machines is the best performing I/O vir...
Ben-Ami Yassour, Muli Ben-Yehuda, Orit Wasserman
133
Voted
SPIN
2010
Springer
15 years 1 months ago
Context-Enhanced Directed Model Checking
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
Martin Wehrle, Sebastian Kupferschmid