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
6248
search results - page 23 / 1250
»
Programming in a data factory
Sort
relevance
views
votes
recent
update
View
thumb
title
11
click to vote
IPPS
1998
IEEE
77
views
Distributed And Parallel Com...
»
more
IPPS 1998
»
Data Parallel Programming with the Khoros Data Services Library
13 years 12 months ago
Download
ipdps.cc.gatech.edu
Steve Kubica, Thomas Robey, Chris Moorman
claim paper
Read More »
21
click to vote
JPL
1998
59
views
more
JPL 1998
»
Implicitly synchronized abstract data types: data structures for modular parallel programming
13 years 7 months ago
Download
people.csail.mit.edu
Martin C. Rinard
claim paper
Read More »
28
click to vote
PADL
2012
Springer
222
views
Programming Languages
»
more
PADL 2012
»
Typing the Numeric Tower
12 years 3 months ago
Download
www.ccs.neu.edu
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
claim paper
Read More »
17
click to vote
SIGADA
2001
Springer
82
views
Programming Languages
»
more
SIGADA 2001
»
Beyond ASIS: program data bases and tool-oriented queries
14 years 2 days ago
Download
www.cs.uni.edu
Janusz W. Laski, William Stanley, Pawel Podgorski
claim paper
Read More »
59
click to vote
POPL
2001
ACM
119
views
Programming Languages
»
more
POPL 2001
»
BI as an Assertion Language for Mutable Data Structures
14 years 8 months ago
Download
www.dcs.qmw.ac.uk
Samin S. Ishtiaq, Peter W. O'Hearn
claim paper
Read More »
« Prev
« First
page 23 / 1250
Last »
Next »