Sciweavers

174 search results - page 21 / 35
» Creating Realistic BGP Models
Sort
View
POPL
2010
ACM
15 years 11 months ago
Verified just-in-time compiler on x86
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
Magnus O. Myreen
PG
2007
IEEE
15 years 8 months ago
Illumination Brush: Interactive Design of All-Frequency Lighting
We present an appearance-based user interface for artists to efficiently design customized image-based lighting environments. 1 Our approach avoids typical iterations of paramete...
Makoto Okabe, Yasuyuki Matsushita, Li Shen, Takeo ...
94
Voted
CA
2002
IEEE
15 years 6 months ago
Avenues of Research in Dynamic Clothing
While mechanical cloth simulation systems are widely used for creating draped garments on virtual characters, the animation of virtual garments raise challenges on its own. The pe...
Nadia Magnenat-Thalmann, Pascal Volino, Frederic C...
119
Voted
FCCM
2000
IEEE
133views VLSI» more  FCCM 2000»
15 years 6 months ago
Configuration Caching Management Techniques for Reconfigurable Computing
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
Zhiyuan Li, Katherine Compton, Scott Hauck
ESCIENCE
2006
IEEE
15 years 5 months ago
Economy-Based Data Replication Broker
Data replication is one of the key components in data grid architecture as it enhances data access and reliability and minimises the cost of data transmission. In this paper, we a...
Henry Lin, Jemal H. Abawajy, Rajkumar Buyya