Search Sciweavers | Sciweavers

31387 search results - page 162 / 6278

» Abstracting abstract machines

137

click to vote

ISVLSI
2008
IEEE

142views VLSI» more ISVLSI 2008»

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability

16 years 27 days ago

Download www.informatik.uni-bremen.de

Robert Wille, Daniel Große, Mathias Soeken, ...

claim paper

Read More »

221

click to vote

ISVLSI
2008
IEEE

191views VLSI» more ISVLSI 2008»

NoC Power Estimation at the RTL Abstraction Level

16 years 27 days ago

Download www.inf.pucrs.br

Guilherme Guindani, Cezar Reinbrecht, Thiago Raupp...

claim paper

Read More »

143

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 27 days ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

142

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

16 years 27 days ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

130

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers