Search Sciweavers | Sciweavers

31387 search results - page 369 / 6278

» Abstracting abstract machines

156

click to vote

IANDC
2010

109views more IANDC 2010»

Compositional verification and 3-valued abstractions join forces

15 years 4 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

113

Voted

IJDST
2010

80views more IJDST 2010»

Abstractions and Middleware for Petascale Computing and Beyond

15 years 4 months ago

Download www.mosaic.ethz.ch

Ivo F. Sbalzarini

claim paper

Read More »

150

click to vote

APLAS
2010
ACM

111views Programming Languages» more APLAS 2010»

Liveness of Communicating Transactions (Extended Abstract)

15 years 3 months ago

Download www.scss.tcd.ie

Edsko de Vries, Vasileios Koutavas, Matthew Hennes...

claim paper

Read More »

172

click to vote

BCB
2010

99views Bioinformatics» more BCB 2010»

Semi-supervised sequence classification using abstraction augmented Markov models

15 years 1 months ago

Download www.cs.iastate.edu

Cornelia Caragea, Adrian Silvescu, Doina Caragea, ...

claim paper

Read More »

260

click to vote

CL
2011
Springer

260views Automated Reasoning» more CL 2011»

Widening and narrowing operators for abstract interpretation

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers