4719 search results - page 76 / 944 » Newtonian program analysis |
GW
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we focus on the analysis of sound producing gestures in the musical domain. We investigate the behavior of intraoral pressure exerted by a trumpet performer in the pr...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
EUROPAR
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
ERSHOV
2001
Springer
14 years 6 days ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...