1397 search results - page 138 / 280 » On the Need for Practical Formal Methods |
113
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
154
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
128
click to vote
ECIS
2003
15 years 5 months ago
2003
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
135
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
A jigsaw is a recently proposed generative model that describes an image as a composition of non-overlapping patches of varying shape, extracted from a latent image. By learning t...
141
click to vote
TOG
2008
15 years 4 months ago
2008
Previous research has shown that a global multiple scattering simulation is needed to achieve physically realistic renderings of hair, particularly light-colored hair with low abs...