3316 search results - page 385 / 664 » Mining Software Engineering Data |
139
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
127
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
110
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...
129
click to vote
FASE
2000
Springer
15 years 6 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
124
click to vote
TACS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...