Search Sciweavers | Sciweavers

17298 search results - page 101 / 3460

» Abstract computing machines

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 8 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

110

click to vote

CAMAD
2009
IEEE

122views Computer Networks» more CAMAD 2009»

Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols

15 years 8 months ago

Download www.st.ewi.tudelft.nl

Gertjan P. Halkes, Koen Langendoen

claim paper

Read More »

113

click to vote

NPAR
2000
ACM

158views Computer Animation» more NPAR 2000»

Interactive dynamic abstraction

15 years 7 months ago

Download www.snibbe.com

Scott S. Snibbe, Golan Levin

claim paper

Read More »

113

click to vote

CONCUR
1998
Springer

98views Distributed And Parallel Com...» more CONCUR 1998»

Abstract Games for Infinite State Processes

15 years 7 months ago

Download homepages.inf.ed.ac.uk

Perdita Stevens

claim paper

Read More »

click to vote

PPSN
1998
Springer

95views Distributed And Parallel Com...» more PPSN 1998»

UEGO, an Abstract Niching Technique for Global Optimization

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers