6800 search results - page 532 / 1360 » Testing with Functions as Specifications |
176
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
Redundancy-addition-and-removal is a rewiring technique which for a given target wire wt finds a redundant alternative wire wa. Addition of wa makes wt redundant and hence removab...
301
click to vote
PAM
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. A free and easy to use distributed monitoring and measurement platform would be valuable in several applications: monitoring network or server infrastructures, performing...
160
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
Following a number of recent papers investigating the possibility of optimal comparison-based optimization algorithms for a given distribution of probability on fitness functions...
201
click to vote
CIMCA
2008
IEEE
16 years 2 months ago
2008
IEEE
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
223
click to vote
ETFA
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...