Sciweavers

553 search results - page 29 / 111
» Verified, Executable Parsing
Sort
View
DAC
1995
ACM
14 years 10 days ago
Incorporating Design Schedule Management into a Flow Management System
Abstract - In this paper we present an approach to incorporate design schedule management services into a flow management system. The basis of our approach is to derive a design s...
Eric W. Johnson, Jay B. Brockman
WORDS
2005
IEEE
14 years 2 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
SPAA
2004
ACM
14 years 2 months ago
The potential in energy efficiency of a speculative chip-multiprocessor
While lower supply voltage is effective for energy reduction, it suffers performance loss. To mitigate the loss, we propose to execute only the part, which does not have any influ...
Yuu Tanaka, Toshinori Sato, Takenori Koushiro
RV
2010
Springer
153views Hardware» more  RV 2010»
13 years 6 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho
PDP
2005
IEEE
14 years 2 months ago
Distributed Data Collection through Remote Probing in Windows Environments
Distributed Data Collector (DDC) is a framework to ease and automate repetitive executions of console applications (probes) over a set of LAN networked Windows personal computers....
Patrício Domingues, Paulo Marques, Lu&iacut...