154 search results - page 8 / 31 » Abstract Interpretation with Applications to Timing Validati... |
119
Voted
CMMR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Former studies show that removing brightness temporal variations of tones in an expressive clarinet performance induces a decrease in the appreciation judgments among lis...
124
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
181
Voted
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Early stress recognition is of great relevance in precision plant protection. Pre-symptomatic water stress detection is of particular interest, ultimately helping to meet the chal...
142
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...
140
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...