4719 search results - page 379 / 944 » Newtonian program analysis |
199
click to vote
ISMIR
2005
Springer
16 years 5 days 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...
168
click to vote
PACT
2005
Springer
16 years 5 days ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
157
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
152
Voted
PVM
2004
Springer
16 years 1 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
173
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...