16216 search results - page 379 / 3244 » Effective Modeling with Constraints |
193
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Mutants are automatically-generated, possibly faulty variants of programs. The mutation adequacy ratio of a test suite is the ratio of non-equivalent mutants it is able to identif...
183
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
182
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...
226
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Growth in the IT outsourcing industry during the past ten years has been exceptional. In this study, we theorize about and analyze the growth patterns of IT outsourcing at the leve...
229
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...