785 search results - page 35 / 157 » Using Multiple Levels of Abstractions in Embedded Software D... |
RELMICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
WETICE
2003
IEEE
15 years 2 months ago
2003
IEEE
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
82
Voted
ISI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Trusted software execution, prevention of code and data tampering, authentication, and providing a secure environment for software are some of the most important security...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...