5235 search results - page 956 / 1047 » Analysis of Multithreaded Programs |
140
Voted
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
121
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
117
Voted
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
111
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
128
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...