4911 search results - page 702 / 983 » Tree dependence analysis |
111
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
167
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
138
click to vote
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
154
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
136
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...