Search Sciweavers | Sciweavers

31387 search results - page 364 / 6278

» Abstracting abstract machines

153

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 4 months ago

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

169

click to vote

MEMOCODE
2010
IEEE

133views Formal Methods» more MEMOCODE 2010»

ATLAS: Automatic Term-level abstraction of RTL designs

15 years 4 months ago

Download www.eecs.berkeley.edu

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia...

claim paper

Read More »

132

click to vote

NAACL
2010

126views Computational Linguistics» more NAACL 2010»

Interpretation and Transformation for Abstracting Conversations

15 years 4 months ago

Download www.cs.ubc.ca

Gabriel Murray, Giuseppe Carenini, Raymond T. Ng

claim paper

Read More »

164

click to vote

PDPTA
2010

125views Distributed And Parallel Com...» more PDPTA 2010»

Raising the Level of Abstraction of GPU-programming

15 years 4 months ago

Download www.cs.ua.edu

Ferosh Jacob, Ritu Arora, Purushotham Bangalore, M...

claim paper

Read More »

175

click to vote

QEST
2010
IEEE

155views Modeling and Simulation» more QEST 2010»

Abstraction and Model Checking in the PEPA Plug-In for Eclipse

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers