2205 search results - page 78 / 441 » Mutation Operators for Specifications |
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
A high-to-low switching DC-DC converter that operates at input supply voltages up to two times as high as the maximum voltage permitted in a nanometer CMOS technology is proposed ...
ICMCS
1994
IEEE
14 years 1 months ago
1994
IEEE
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
ECSCW
2007
13 years 10 months ago
2007
In this paper we analyse an apparently simple collaborative activity, that of passing an implement from one person to another. The particular case we consider is surgical operation...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Traditionally, machine learning algorithms have been evaluated in applications where assumptions can be reliably made about class priors and/or misclassification costs. In this pa...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...