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
10585
search results - page 12 / 2117
»
The Orc Programming Language
Sort
relevance
views
votes
recent
update
View
thumb
title
19
click to vote
PLDI
2011
ACM
181
views
Programming Languages
»
more
PLDI 2011
»
A security policy oracle: detecting security holes using multiple API implementations
12 years 10 months ago
Download
www.cs.utexas.edu
Varun Srivastava, Michael D. Bond, Kathryn S. McKi...
claim paper
Read More »
22
click to vote
POPL
2012
ACM
257
views
Programming Languages
»
more
POPL 2012
»
Canonicity for 2-dimensional type theory
12 years 3 months ago
Download
www.cs.cmu.edu
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
Daniel R. Licata, Robert Harper
claim paper
Read More »
20
click to vote
JMLR
2012
175
views
Programming Languages
»
more
JMLR 2012
»
MULTIBOOST: A Multi-purpose Boosting Package
11 years 10 months ago
Download
www.lri.fr
Djalel Benbouzid, Róbert Busa-Fekete, Norma...
claim paper
Read More »
28
click to vote
PPOPP
2012
ACM
282
views
Distributed and Parallel Com...
»
more
PPOPP 2012
»
Chestnut: a GPU programming language for non-experts
12 years 3 months ago
Download
www.cs.swarthmore.edu
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
Andrew Stromme, Ryan Carlson, Tia Newhall
claim paper
Read More »
101
click to vote
POPL
2001
ACM
324
views
Programming Languages
»
more
POPL 2001
»
Verifying safety properties of concurrent Java programs using 3-valued logic
14 years 7 months ago
Download
www.research.ibm.com
Eran Yahav
claim paper
Read More »
« Prev
« First
page 12 / 2117
Last »
Next »