Search Sciweavers | Sciweavers

31387 search results - page 100 / 6278

» Abstracts

146

click to vote

SAS
2009
Springer

214views Formal Methods» more SAS 2009»

Abstract Interpretation of FIFO Replacement

16 years 7 months ago

Download rw4.cs.uni-sb.de

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

claim paper

Read More »

131

click to vote

KDD
2003
ACM

140views Data Mining» more KDD 2003»

Mining hepatitis data with temporal abstraction

16 years 6 months ago

Download www.jaist.ac.jp

Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Q...

claim paper

Read More »

113

click to vote

HPCA
2007
IEEE

89views Distributed And Parallel Com...» more HPCA 2007»

Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping

16 years 6 months ago

Download www.samiyehia.com

Amir Hormati, Krisztián Flautner, Nathan Cl...

claim paper

Read More »

123

click to vote

CHI
2002
ACM

97views Human Computer Interaction» more CHI 2002»

Extended abstract a field computer for animal trackers

16 years 6 months ago

Download people.cs.uct.ac.za

Edwin H. Blake

claim paper

Read More »

205

click to vote

POPL
2008
ACM

92views Programming Languages» more POPL 2008»

Focusing and higher-order abstract syntax

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers