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
9626
search results - page 246 / 1926
»
Invariant Based Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
154
click to vote
FASE
2008
Springer
156
views
Software Engineering
»
more
FASE 2008
»
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
15 years 8 months ago
Download
research.microsoft.com
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
claim paper
Read More »
127
click to vote
FLOPS
2008
Springer
86
views
Automated Reasoning
»
more
FLOPS 2008
»
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
15 years 8 months ago
Download
www.iam.unibe.ch
Torsten Schaub
claim paper
Read More »
146
click to vote
DAGSTUHL
2007
108
views
Software Engineering
»
more
DAGSTUHL 2007
»
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
15 years 8 months ago
Download
agrausch.informatik.uni-kl.de
Jan Schäfer, Markus Reitz, Jean-Marie Gaillou...
claim paper
Read More »
146
click to vote
SBBD
2008
125
views
Database
»
more
SBBD 2008
»
Image Retrieval with Relevance Feedback based on Genetic Programming
15 years 8 months ago
Download
www.ic.unicamp.br
Cristiano D. Ferreira, Ricardo da Silva Torres, Ma...
claim paper
Read More »
119
click to vote
PARCO
2007
92
views
Distributed And Parallel Com...
»
more
PARCO 2007
»
Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library
15 years 8 months ago
Download
www.fz-juelich.de
Joel Falcou, Jocelyn Sérot
claim paper
Read More »
« Prev
« First
page 246 / 1926
Last »
Next »
