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
7456
search results - page 224 / 1492
»
Parallelism in Logic Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
132
click to vote
TOSEM
2008
91
views
more
TOSEM 2008
»
Combining symbolic execution with model checking to verify parallel numerical programs
15 years 6 months ago
Download
laser.cs.umass.edu
Stephen F. Siegel, Anastasia Mironova, George S. A...
claim paper
Read More »
141
click to vote
JISE
2007
103
views
more
JISE 2007
»
An Efficient Clustering-Based Task Scheduling Algorithm for Parallel Programs with Task Duplication
15 years 6 months ago
Download
www.iis.sinica.edu.tw
Wei-Ming Lin, Qiuyan Gu
claim paper
Read More »
120
click to vote
JISE
2000
54
views
more
JISE 2000
»
A New Program-Driven Parallel Machine Simulation Environment
15 years 6 months ago
Download
www.iis.sinica.edu.tw
Pozung Chen, Shyh-Nong Chen
claim paper
Read More »
114
click to vote
JPDC
2000
49
views
more
JPDC 2000
»
Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs
15 years 6 months ago
Download
wireless.cs.tku.edu.tw
Kuei-Ping Shih, Jang-Ping Sheu, Chua-Huang Huang, ...
claim paper
Read More »
141
click to vote
IJPP
1998
79
views
more
IJPP 1998
»
A Constant Propagation Algorithm for Explicitly Parallel Programs
15 years 6 months ago
Download
cobweb.ecn.purdue.edu
Jaejin Lee, Samuel P. Midkiff, David A. Padua
claim paper
Read More »
« Prev
« First
page 224 / 1492
Last »
Next »
