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
4385
search results - page 13 / 877
»
Abstraction for Concurrent Objects
Sort
relevance
views
votes
recent
update
View
thumb
title
123
click to vote
ECOOP
2010
Springer
150
views
Programming Languages
»
more
ECOOP 2010
»
Concurrent Abstract Predicates
15 years 10 months ago
Download
www.cl.cam.ac.uk
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...
claim paper
Read More »
128
click to vote
IPPS
2000
IEEE
114
views
Distributed And Parallel Com...
»
more
IPPS 2000
»
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
15 years 10 months ago
Download
ipdps.cc.gatech.edu
Dominique Cansell, Dominique Méry, Christop...
claim paper
Read More »
129
click to vote
ASM
2000
ASM
83
views
Computational Biology
»
more
ASM 2000
»
Investigating Java Concurrency Using Abstract State Machines
15 years 10 months ago
Download
www.eecs.umich.edu
Yuri Gurevich, Wolfram Schulte, Charles Wallace
claim paper
Read More »
132
click to vote
PPCP
1993
92
views
Programming Languages
»
more
PPCP 1993
»
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)
15 years 10 months ago
Download
web.it.kth.se
Seif Haridi, Sverker Janson, Johan Montelius, Tork...
claim paper
Read More »
145
click to vote
PLILP
1994
Springer
109
views
Programming Languages
»
more
PLILP 1994
»
Abstracting Synchronization in Concurrent Constraint Programming
15 years 10 months ago
Download
www.cs.unipr.it
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
claim paper
Read More »
« Prev
« First
page 13 / 877
Last »
Next »
