5536 search results - page 283 / 1108 » Programming Languages for Distributed Applications |
196
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
157
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Programming multimedia applications for System-on-Chip (SoC) architectures is difficult because streaming communication, user event handling, reconfiguration, and paralle...
194
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
196
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, r...
149
click to vote
CSCW
1990
ACM
15 years 10 months ago
1990
ACM
In contrast to the common view of spreadsheetsas "single-user" programs, we have found that spreadsheetsoffer surprisingly strong support for cooperative development of ...