5407 search results - page 759 / 1082 » The Software Engineering Global Model |
196
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Serial analysis of gene expression (SAGE) is used to obtain quantitative snapshots of the transcriptome. These profiles are count-based and are assumed to follow a Bin...
190
click to vote
VVS
2000
IEEE
15 years 11 months ago
2000
IEEE
Volumetric energy backprojection captures the effects of myriad physical processes including global illumination and reconstruction. We present a method to perform efficient volu...
211
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Traditionally, instruction-set simulators (ISS’s) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISS’s have been main...
197
click to vote
VSTTE
2005
Springer
16 years 23 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
210
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...