10666 search results - page 1634 / 2134 » Quantum programming languages |
203
click to vote
IEEEPACT
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
188
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
197
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
198
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
239
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...