652 search results - page 48 / 131 » fast 2004 |
133
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
127
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
In IP-over-WDM networks, a logical IP network has to be routed on top of a physical optical fiber network. An important challenge hereby is to make the routing survivable. We call...
126
click to vote
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
129
click to vote
VMV
2004
15 years 4 months ago
2004
The Fourier volume rendering technique operates in the frequency domain and creates line integral projections of a 3D scalar field. These projections can be efficiently generated ...
135
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...