Search Sciweavers | Sciweavers

31387 search results - page 162 / 6278

» Abstracting abstract machines

148

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 1 months ago

Download www.informatik.uni-bremen.de

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

claim paper

Read More »

237

click to vote

ISVLSI
2008
IEEE

191views VLSI» more ISVLSI 2008»

NoC Power Estimation at the RTL Abstraction Level

16 years 1 months ago

Download www.inf.pucrs.br

Guilherme Guindani, Cezar Reinbrecht, Thiago Raupp...

claim paper

Read More »

157

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 1 months ago

Download www.carstensinz.de

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

claim paper

Read More »

160

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 1 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

138

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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers