396 search results - page 73 / 80 » Combining decision procedures for the reals |
131
click to vote
EMSOFT
2008
Springer
15 years 23 days ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
127
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
107
click to vote
INFSOF
2010
14 years 10 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
114
click to vote
TCBB
2008
14 years 11 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
122
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...