Sciweavers

2957 search results - page 355 / 592
» The Complexity of Polynomial-Time Approximation
Sort
View
SIBGRAPI
2006
IEEE
16 years 17 days ago
Plausible Image Based Soft Shadows Using Occlusion Textures
This paper presents a novel image-based approach to render plausible soft shadows for complex dynamic scenes with rectangular light sources. The algorithm's performance is mo...
Elmar Eisemann, Xavier Décoret
APLAS
2006
ACM
16 years 16 days ago
XML Validation for Context-Free Grammars
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
Yasuhiko Minamide, Akihiko Tozawa
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
16 years 5 days ago
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, S...
TGC
2005
Springer
16 years 1 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
CBSE
2004
Springer
15 years 12 months ago
Software Architectural Support for Disconnected Operation in Highly Distributed Environments
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
Marija Mikic-Rakic, Nenad Medvidovic