1760 search results - page 172 / 352 » Program Analysis Using Weighted Pushdown Systems |
112
Voted
IEEEPACT
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
129
Voted
AIEDU
2004
15 years 20 days ago
2004
Although animated pedagogical agents are frequently found in intelligent tutoring systems and interactive learning environments, their effect on users' attitudes and learning ...
104
click to vote
SIGGRAPH
2009
ACM
15 years 7 months ago
2009
ACM
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...
100
Voted
JPDC
2008
15 years 23 days ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...