Search Sciweavers | Sciweavers

31387 search results - page 170 / 6278

» Abstracts

124

click to vote

SENSYS
2004
ACM

120views Sensor Networks» more SENSYS 2004»

Flexible hardware abstraction of the TI MSP430 microcontroller in TinyOS

15 years 12 months ago

Download www.tkn.tu-berlin.de

Vlado Handziski, Joseph Polastre, Jan-Hinrich Haue...

claim paper

Read More »

144

click to vote

SIGMOD
2004
ACM

110views Database» more SIGMOD 2004»

Canonical Abstraction for Outerjoin Optimization

15 years 12 months ago

Download www.cs.uiuc.edu

Jun Rao, Hamid Pirahesh, Calisto Zuzarte

claim paper

Read More »

157

click to vote

SIGSOFT
2004
ACM

115views Software Engineering» more SIGSOFT 2004»

Explaining abstract counterexamples

15 years 12 months ago

Download www.cs.cmu.edu

Sagar Chaki, Alex Groce, Ofer Strichman

claim paper

Read More »

124

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 12 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

125

click to vote

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers