11603 search results - page 1857 / 2321 » Securing Embedded Systems |
186
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
189
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
177
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
195
click to vote
HOPL
2007
15 years 10 months ago
2007
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...
173
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
We are at present enabled with machine-empowered technologies. The future is certainly looking towards human-empowered technologies, which should enable mobile user with natural w...