Search Sciweavers | Sciweavers

31387 search results - page 262 / 6278

» Abstracting abstract machines

152

click to vote

CAV
2006
Springer

86views Hardware» more CAV 2006»

EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation

15 years 10 months ago

Download www.cs.ubc.ca

Flavio M. de Paula, Alan J. Hu

claim paper

Read More »

126

click to vote

DATE
2004
IEEE

79views Hardware» more DATE 2004»

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits

15 years 10 months ago

Download www.cerc.utexas.edu

Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...

claim paper

Read More »

155

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 10 months ago

Download www.ict.swin.edu.au

Markus Lumpe

claim paper

Read More »

113

click to vote

CG
2006
Springer

145views Computer Graphics» more CG 2006»

Abstracting Knowledge from Annotated Chinese-Chess Game Records

15 years 10 months ago

Download ntur.lib.ntu.edu.tw

Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...

claim paper

Read More »

124

Voted

CICLING
2006
Springer

105views Natural Language Processing» more CICLING 2006»

Sense Cluster Based Categorization and Clustering of Abstracts

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers