41472 search results - page 7986 / 8295 » or 2006 |
120
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
92
Voted
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
Cross-core application interference due to contention for shared on-chip and off-chip resources pose a significant challenge to providing application level quality of service (Qo...
106
Voted
GD
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we consider the problem of drawing a planar graph using circular arcs as edges, given a one-to-one mapping between the vertices of the graph and a set of points in t...
78
Voted
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
Cross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The co...
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
The recent paradigm shift to multi-core systems results in high system throughput within a specified power budget. However, future systems still require good single thread perfor...