Sciweavers

144227 search results - page 31 / 28846
» Using
Sort
View
CAV
2009
Springer
126views Hardware» more  CAV 2009»
16 years 2 months ago
Reachability Analysis of Hybrid Systems Using Support Functions
Colas Le Guernic, Antoine Girard
SIGMOD
2004
ACM
102views Database» more  SIGMOD 2004»
16 years 2 months ago
Adaptive Stream Resource Management Using Kalman Filters
Ankur Jain, Edward Y. Chang, Yuan-Fang Wang
PODS
2002
ACM
125views Database» more  PODS 2002»
16 years 2 months ago
Answering Queries Using Views with Arithmetic Comparisons
Foto N. Afrati, Chen Li, Prasenjit Mitra
ICSE
2007
IEEE-ACM
16 years 2 months ago
Reliability Analysis of Concurrent Systems Using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum...