10707 search results - page 69 / 2142 » Designing executable abstractions |
140
click to vote
ISVLSI
2003
IEEE
15 years 8 months ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
141
Voted
CSREAESA
2003
15 years 4 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
118
click to vote
SP
2007
IEEE
15 years 9 months ago
2007
IEEE
TCB Code Execution (Extended Abstract)∗ Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri Carnegie Mellon University We propose an architect...
118
click to vote
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
135
click to vote
ICSOC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...