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
10666
search results - page 227 / 2134
»
Quantum programming languages
Sort
relevance
views
votes
recent
update
View
thumb
title
155
click to vote
POPL
2010
ACM
186
views
Programming Languages
»
more
POPL 2010
»
Modular Session Types for Distributed Object-Oriented Programming
16 years 3 months ago
Download
homepages.di.fc.ul.pt
Alexandre Z. Caldeira, António Ravara, Nils...
claim paper
Read More »
124
click to vote
PLPV
2009
ACM
80
views
Programming Languages
»
more
PLPV 2009
»
Verified programming in Guru
16 years 3 months ago
Download
guru-lang.googlecode.com
Aaron Stump, Morgan Deters, Adam Petcher, Todd Sch...
claim paper
Read More »
105
click to vote
PLDI
2006
ACM
102
views
Programming Languages
»
more
PLDI 2006
»
Shared memory programming for large scale machines
16 years 14 days ago
Download
research.microsoft.com
Christopher Barton, Calin Cascaval, George Alm&aac...
claim paper
Read More »
116
click to vote
PLDI
2006
ACM
104
views
Programming Languages
»
more
PLDI 2006
»
Eventrons: a safe programming construct for high-frequency hard real-time applications
16 years 14 days ago
Download
research.microsoft.com
Daniel Spoonhower, Joshua S. Auerbach, David F. Ba...
claim paper
Read More »
120
click to vote
ASPLOS
2004
ACM
79
views
Programming Languages
»
more
ASPLOS 2004
»
Application-level checkpointing for shared memory programs
15 years 12 months ago
Download
iss.ices.utexas.edu
Greg Bronevetsky, Daniel Marques, Keshav Pingali, ...
claim paper
Read More »
« Prev
« First
page 227 / 2134
Last »
Next »
