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 142 / 6278
»
Abstracting abstract machines
Sort
relevance
views
votes
recent
update
View
thumb
title
134
click to vote
MOBIHOC
2008
ACM
132
views
Computer Networks
»
more
MOBIHOC 2008
»
Poster abstract: scalable and collaborative internet access for opportunistic people networks
16 years 6 months ago
Download
www.iis.sinica.edu.tw
Ling-Jyh Chen, Ting-Kai Huang, Che-Liang Chiou
claim paper
Read More »
155
click to vote
MOBIHOC
2008
ACM
126
views
Computer Networks
»
more
MOBIHOC 2008
»
Poster abstract: an evaluation study of routing reliability in opportunistic networks
16 years 6 months ago
Download
www.iis.sinica.edu.tw
Che-Liang Chiou, Ling-Jyh Chen
claim paper
Read More »
165
click to vote
POPL
2010
ACM
188
views
Programming Languages
»
more
POPL 2010
»
Decision Procedures for Algebraic Data Types with Abstractions
16 years 3 months ago
Download
lara.epfl.ch
Philippe Suter, Mirco Dotta, Viktor Kuncak
claim paper
Read More »
124
click to vote
VMCAI
2010
Springer
157
views
Software Engineering
»
more
VMCAI 2010
»
Abstract Threads
16 years 3 months ago
Download
www.vs.inf.ethz.ch
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
claim paper
Read More »
124
click to vote
VMCAI
2010
Springer
143
views
Software Engineering
»
more
VMCAI 2010
»
An Abstract Domain to Discover Interval Linear Equalities
16 years 3 months ago
Download
www.di.ens.fr
Liqian Chen, Antoine Miné, Ji Wang, Patrick...
claim paper
Read More »
« Prev
« First
page 142 / 6278
Last »
Next »
