6608 search results - page 1188 / 1322 » On the Completeness of Model Checking |
142
click to vote
PDPTA
2004
15 years 5 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
124
click to vote
IC
2003
15 years 5 months ago
2003
Abstract— In this paper, we develop methods to “sample” a large real network into a small realistic graph. Although topology modeling has received a lot attention lately, it ...
156
click to vote
SODA
2001
ACM
15 years 5 months ago
2001
ACM
We consider the problem of scheduling unit-length jobs on identical parallel machines such that the makespan of the resulting schedule is minimized. Precedence constraints impose ...
131
Voted
WSCG
2004
15 years 5 months ago
2004
The quality of a 3D volume visualization heavily depends on a representative transfer function which is responsible for mapping the original density values to color and opacity. F...
120
click to vote
WSCG
2004
15 years 5 months ago
2004
Tomographic imaging is a technique for exploration of a cross-section of an inspected object without destruction. Normally, the input data, known as the projections, are gathered ...