2947 search results - page 420 / 590 » Analyzing Program Analyses |
121
click to vote
SC
2005
ACM
15 years 8 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
110
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
136
click to vote
CALCO
2005
Springer
15 years 8 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 ...
145
click to vote
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
Most music processing attempts to focus on one particular feature or structural element such as pitch, beat location, tempo, or genre. This hierarchical approach, in which music i...
105
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...