Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
31387
search results - page 369 / 6278
»
Abstracting abstract machines
Sort
relevance
views
votes
recent
update
View
thumb
title
156
click to vote
IANDC
2010
109
views
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
80
views
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
111
views
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
99
views
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
260
views
Automated Reasoning
»
more
CL 2011
»
Widening and narrowing operators for abstract interpretation
15 years 1 months ago
Download
www.dsi.unive.it
Agostino Cortesi, Matteo Zanioli
claim paper
Read More »
« Prev
« First
page 369 / 6278
Last »
Next »