10890 search results - page 5 / 2178 » Automatic Complexity Analysis |
86
Voted
WCET
2008
15 years 1 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
85
Voted
DAGSTUHL
1996
15 years 1 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
111
click to vote
ICICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
102
click to vote
IPAW
2010
14 years 10 months ago
2010
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
136
click to vote
EUROPAR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...