4502 search results - page 759 / 901 » Regular Model Checking |
141
click to vote
RT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper presents how the image-based rendering technique of viewdependent texture-mapping (VDTM) can be efficiently implemented using projective texture mapping, a fea...
177
click to vote
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
Load balancing involves assigning to each processor, work proportional to its performance, minimizing the execution time of the program. Althoughstatic load balancing can solve ma...
150
click to vote
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
159
click to vote
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
We present an algorithm for real-time level of detail reduction and display of high-complexity polygonal surface data. The algorithm uses a compact and efficient regular grid repr...
175
click to vote
LICS
1993
IEEE
15 years 9 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...