626 search results - page 102 / 126 » When Can Formal Methods Make a Real Difference |
116
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
134
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The nucleosome is the fundamental packing unit of DNAs in eukaryotic cells. Its detailed positioning on the genome is closely related to chromosome functions. Increasi...
117
click to vote
VLSI
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
167
Voted
ACMMSP
2006
ACM
15 years 7 months ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
147
Voted
TOG
2008
15 years 3 months ago
2008
Audio rendering of impact sounds, such as those caused by falling objects or explosion debris, adds realism to interactive 3D audiovisual applications, and can be convincingly ach...