Sciweavers

1549 search results - page 245 / 310
» Embedded Application Design Using a Real-Time OS
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 7 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
CHI
2006
ACM
15 years 10 months ago
RoomBugs: simulating insect infestations in elementary classrooms
This paper presents research on a collaborative learning environment in an urban elementary science classroom. The application, called RoomBugs, simulates a dynamic ecosystem of i...
Michael Barron, Tom Moher, Jeff Maharry
TEI
2010
ACM
115views Hardware» more  TEI 2010»
15 years 4 months ago
The peppermill: a human-powered user interface device
A human-powered user interface device sources its power from the physical effort required to operate it. This paper describes a technique by which a geared DC motor and a simple c...
Nicolas Villar, Steve Hodges
ASIASIM
2004
Springer
15 years 3 months ago
LSTAFF: System Software for Large Block Flash Memory
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
Tae-Sun Chung, Dong-Joo Park, Yeonseung Ryu, Sugwo...
DAC
1997
ACM
15 years 1 months ago
Hardware/Software Co-Simulation in a VHDL-Based Test Bench Approach
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
Matthias Bauer, Wolfgang Ecker