10666 search results - page 1809 / 2134 » Quantum programming languages |
165
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
144
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
163
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
129
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
125
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...