1120 search results - page 139 / 224 » Parallel Algorithmic Techniques for Combinatorial Computatio... |
REX
1991
14 years 20 days ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
ICPADS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes a new priority scheduling algorithm to maximise site revenue of session-based multi-tier Internet services in a multicluster environment. This research is part...
VISUALIZATION
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents efficient image-based rendering techniques used in the context of an architectural walkthrough system. Portals (doors and windows) are rendered by warping laye...
CLUSTER
2000
IEEE
13 years 9 months ago
2000
IEEE
Clusters of workstations and networked parallel computing systems are emerging as promising computational platforms for HPC applications. The processors in such systems are typica...
IEEEPACT
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...