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
280
search results - page 2 / 56
»
Abstract Threads
Sort
relevance
views
votes
recent
update
View
thumb
title
113
Voted
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
Voted
APLAS
2009
ACM
119
views
Programming Languages
»
more
APLAS 2009
»
Abstract Transformers for Thread Correlation Analysis
16 years 10 days ago
Download
www.cs.tau.ac.il
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...
claim paper
Read More »
125
Voted
FPL
2008
Springer
100
views
Hardware
»
more
FPL 2008
»
A portable abstraction layer for hardware threads
15 years 7 months ago
Download
typo3.cs.uni-paderborn.de
Enno Lübbers, Marco Platzner
claim paper
Read More »
144
click to vote
SAS
2010
Springer
175
views
Formal Methods
»
more
SAS 2010
»
Thread-Modular Counterexample-Guided Abstraction Refinement
15 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 »
130
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?
16 years 8 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 »