19 search results - page 3 / 4 » TinyTimber, Reactive Objects in C for Real-Time Embedded Sys... |
EMSOFT
2010
Springer
13 years 3 months ago
2010
Springer
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
EMSOFT
2007
Springer
13 years 9 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
RTAS
2003
IEEE
13 years 10 months ago
2003
IEEE
Distributed real-time and embedded (DRE) applications often possess stringent quality of service (QoS) requirements. Designing middleware for DRE applications poses several challe...
SPIN
2000
Springer
13 years 9 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...