Sciweavers

247 search results - page 3 / 50
» A Qualitative Physics Compiler
Sort
View
IPPS
1999
IEEE
13 years 10 months ago
Compiler Analysis to Support Compiled Communication for HPF-Like Programs
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
Xin Yuan, Rajiv Gupta, Rami G. Melhem
IJCAI
1989
13 years 7 months ago
Introducing Actions into Qualitative Simulation
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
Kenneth D. Forbus
OSDI
2000
ACM
13 years 7 months ago
Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently
Out-of-core applications consume physical resources at a rapid rate, causing interactive applications sharing the same machine to exhibit poor response times. This behavior is the...
Angela Demke Brown, Todd C. Mowry
RTS
2000
71views more  RTS 2000»
13 years 5 months ago
Measuring the Performance of Real-Time Systems
So far, performance measures for real time systems did not receive much attention. An assessment of the few existing benchmarking methods for real time systems will reveal that the...
Wolfgang A. Halang, Roman Gumzej, Matjaz Colnaric,...
PLDI
2000
ACM
13 years 10 months ago
Translation validation for an optimizing compiler
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
George C. Necula