2278 search results - page 105 / 456 » Specification Techniques for Automatic Performance Analysis ... |
119
click to vote
RTSS
1995
IEEE
15 years 3 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
VECPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
173
click to vote
VEE
2012
ACM
13 years 7 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
A new segmented compressed sampling (CS) method for analog-to-information conversion (AIC) is proposed. An analog signal measured by a number of parallel branches of mixers and int...
117
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
The web is fast maturing into an important marketing medium that provides businesses with the ability to undertake oneto-one marketing and provide personalised services to their cu...