8398 search results - page 1222 / 1680 » Optimal Software Testing |
239
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
244
click to vote
EMSOFT
2008
Springer
15 years 8 months 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...
188
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
213
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Direct synthesis of genes is rapidly becoming the most efficient way to make functional genetic constructs and enables applications such as codon optimization, RNAi re...
223
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...