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
16190
search results - page 142 / 3238
»
Applicative programming with effects
Sort
relevance
views
votes
recent
update
View
thumb
title
141
click to vote
LICS
1999
IEEE
82
views
Automated Reasoning
»
more
LICS 1999
»
Non-Deterministic Games and Program Analysis: An Application to Security
15 years 10 months ago
Download
www.eecs.qmul.ac.uk
Pasquale Malacaria, Chris Hankin
claim paper
Read More »
160
click to vote
VLDB
1999
ACM
97
views
Database
»
more
VLDB 1999
»
Generating Call-Level Interfaces for Advanced Database Application Programming
15 years 10 months ago
Download
www.vldb.org
Udo Nink, Theo Härder, Norbert Ritter
claim paper
Read More »
108
click to vote
SRDS
1998
IEEE
84
views
Operating System
»
more
SRDS 1998
»
Programming the Grid: Component Systems for Distributed Applications
15 years 10 months ago
Download
ir.lib.nthu.edu.tw
Dennis Gannon
claim paper
Read More »
129
click to vote
CANPC
1998
Springer
108
views
Communications
»
more
CANPC 1998
»
Characterization of Communication Patterns in Message-Passing Parallel Scientific Application Programs
15 years 10 months ago
Download
www.arctic.umn.edu
JunSeong Kim, David J. Lilja
claim paper
Read More »
121
click to vote
LCPC
1998
Springer
126
views
System Software
»
more
LCPC 1998
»
Stampede: A Programming System for Emerging Scalable Interactive Multimedia Applications
15 years 10 months ago
Download
www.hpl.hp.com
Rishiyur S. Nikhil, Umakishore Ramachandran, James...
claim paper
Read More »
« Prev
« First
page 142 / 3238
Last »
Next »
