1073 search results - page 158 / 215 » Reasoning about Continuous Processes |
240
Voted
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
139
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
120
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
194
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
122
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...