7430 search results - page 556 / 1486 » Programming Applications in CIFF |
152
click to vote
FLOPS
2004
Springer
16 years 13 days ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
174
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
We describe an automated environment to assist a system-on-achip designer to tune a microprocessor core to a particular application program that will run on the microprocessor, an...
152
click to vote
PVM
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe the difficulties inherent in making accurate, reproducible measurements of message-passing performance. We describe some of the mistakes often made in att...
140
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
162
Voted
CATS
2006
15 years 8 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...