Search Sciweavers | Sciweavers

31387 search results - page 365 / 6278

» Abstracting abstract machines

159

Voted

REALWSN
2010

106views Sensor Networks» more REALWSN 2010»

Demo Abstract: Bridging the Gap between Simulated Sensor Nodes and the Real World

15 years 4 months ago

Download www.itm.uni-luebeck.de

Tobias Baumgartner, Daniel Bimschas, Sándor...

claim paper

Read More »

165

click to vote

SAS
2010
Springer

175views Formal Methods» more SAS 2010»

Thread-Modular Counterexample-Guided Abstraction Refinement

15 years 4 months ago

Download software.imdea.org

ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M

Alexander Malkis, Andreas Podelski, Andrey Rybalch...

claim paper

Read More »

154

click to vote

VLSI
2010
Springer

107views Software Engineering» more VLSI 2010»

Towards reverse engineering the brain: Modeling abstractions and simulation frameworks

15 years 4 months ago

Download www.socsci.uci.edu

Jayram Moorkanikara Nageswaran, Micah Richert, Nik...

claim paper

Read More »

155

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

15 years 4 months ago

Download www.doc.ic.ac.uk

Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...

claim paper

Read More »

148

click to vote

ACL
2009

113views Computational Linguistics» more ACL 2009»

Abstraction and Generalisation in Semantic Role Labels: PropBank, VerbNet or both?

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers