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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
280
search results - page 2 / 56
»
Abstract Threads
Sort
relevance
views
votes
recent
update
View
thumb
title
14
click to vote
VMCAI
2010
Springer
157
views
Software Engineering
»
more
VMCAI 2010
»
Abstract Threads
14 years 2 months ago
Download
www.vs.inf.ethz.ch
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
claim paper
Read More »
12
click to vote
APLAS
2009
ACM
119
views
Programming Languages
»
more
APLAS 2009
»
Abstract Transformers for Thread Correlation Analysis
14 years 4 days ago
Download
www.cs.tau.ac.il
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...
claim paper
Read More »
11
click to vote
FPL
2008
Springer
100
views
Hardware
»
more
FPL 2008
»
A portable abstraction layer for hardware threads
13 years 7 months ago
Download
typo3.cs.uni-paderborn.de
Enno Lübbers, Marco Platzner
claim paper
Read More »
17
click to vote
SAS
2010
Springer
175
views
Formal Methods
»
more
SAS 2010
»
Thread-Modular Counterexample-Guided Abstraction Refinement
13 years 3 months ago
Download
software.imdea.org
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
claim paper
Read More »
11
click to vote
CLUSTER
2008
IEEE
92
views
Distributed And Parallel Com...
»
more
CLUSTER 2008
»
Message progression in parallel computing - to thread or not to thread?
14 years 2 days ago
Download
www.unixer.de
Abstract—Message progression schemes that enable communication and computation to be overlapped have the potential to improve the performance of parallel applications. With curre...
Torsten Hoefler, Andrew Lumsdaine
claim paper
Read More »
« Prev
« First
page 2 / 56
Last »
Next »