Search Sciweavers | Sciweavers

31387 search results - page 167 / 6278

» Abstracting abstract machines

110

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

16 years 1 months ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

163

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

16 years 1 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

156

click to vote

PG
2007
IEEE

171views Computer Graphics» more PG 2007»

Abstract Line Drawings from 2D Images

16 years 1 months ago

Download www.cs.umsl.edu

Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee

claim paper

Read More »

139

Voted

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

16 years 1 months ago

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

150

Voted

SECON
2007
IEEE

118views Communications» more SECON 2007»

Demo Abstract: Service Oriented Wireless Sensor Networks - A Cluster-based Approach

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers