100 search results - page 6 / 20 » Almost ASAP Semantics: From Timed Models to Timed Implementa... |
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
109
Voted
TII
2008
14 years 9 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
ALT
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce a paradigm for learning in the limit of potentially infinite languages from all positive data and negative counterexamples provided in response to the ...
158
click to vote
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
A windowed query operator breaks a data stream into possibly overlapping subsets of data and computes results over each. Many stream systems can evaluate window aggregate queries....