Sciweavers

174 search results - page 21 / 35
» Creating Realistic BGP Models
Sort
View
POPL
2010
ACM
14 years 6 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
14 years 2 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 ...
CA
2002
IEEE
14 years 1 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...
FCCM
2000
IEEE
133views VLSI» more  FCCM 2000»
14 years 28 days 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
14 years 6 days 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