4198 search results - page 708 / 840 » Data Parallel Program Design |
147
Voted
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
103
Voted
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
186
Voted
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
116
click to vote
WDAG
1995
Springer
15 years 6 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...
122
Voted
IADIS
2004
15 years 4 months ago
2004
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...