2205 search results - page 256 / 441 » Mutation Operators for Specifications |
162
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
142
click to vote
HOTOS
1999
IEEE
15 years 8 months ago
1999
IEEE
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...
110
click to vote
MICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Since there is generally insufficient instruction level parallelism within a single basic block, higher performance is achieved by speculatively scheduling operations in superbloc...
116
Voted
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...
116
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be fo...