Sciweavers

3335 search results - page 565 / 667
» A Unified Approach to Modeling and Programming
Sort
View
CGF
2011
14 years 8 months ago
Fruit Senescence and Decay Simulation
Aging and imperfections provide important visual cues for realism. We present a novel physically-based approach for simulating the biological aging and decay process in fruits. Th...
Joseph T. Kider Jr., Samantha Raja, Norman I. Badl...
SIGSOFT
2007
ACM
16 years 5 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
BIBM
2009
IEEE
218views Bioinformatics» more  BIBM 2009»
15 years 11 months ago
Real-Time Non-rigid Registration of Medical Images on a Cooperative Parallel Architecture
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...
Yixun Liu, Andriy Fedorov, Ron Kikinis, Nikos Chri...
BMCBI
2006
115views more  BMCBI 2006»
15 years 4 months ago
Detecting recombination in evolving nucleotide sequences
Background: Genetic recombination can produce heterogeneous phylogenetic histories within a set of homologous genes. These recombination events can be obscured by subsequent resid...
Cheong Xin Chan, Robert G. Beiko, Mark A. Ragan
143
Voted
PLDI
2006
ACM
15 years 10 months ago
Automatic instruction scheduler retargeting by reverse-engineering
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
Matthew J. Bridges, Neil Vachharajani, Guilherme O...