250 search results - page 35 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
159
click to vote
ECRTS
2010
IEEE
15 years 1 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
119
Voted
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
84
Voted
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
85
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
92
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...