9842 search results - page 185 / 1969 » Compositional timing analysis |
118
click to vote
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
106
click to vote
CMMR
2007
Springer
15 years 6 months ago
2007
Springer
We describe a tool for real-time musical analysis based on a measure of roughness, the principal element of sensory dissonance. While most historical musical analysis is based on t...
131
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
127
click to vote
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
116
click to vote
TIM
2010
14 years 9 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...