Sciweavers

31387 search results - page 100 / 6278
» Abstracts
Sort
View
SAS
2009
Springer
214views Formal Methods» more  SAS 2009»
16 years 2 months ago
Abstract Interpretation of FIFO Replacement
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
Daniel Grund, Jan Reineke
KDD
2003
ACM
140views Data Mining» more  KDD 2003»
16 years 2 months ago
Mining hepatitis data with temporal abstraction
Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Q...