1042 search results - page 164 / 209 » Synthesis of Software Programs for Embedded Control Applicat... |
CASES
2007
ACM
14 years 1 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
ASPLOS
2004
ACM
14 years 2 months ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
GPCE
2007
Springer
14 years 26 days ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
ADAEUROPE
2000
Springer
14 years 1 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...