5790 search results - page 683 / 1158 » Distributed programming with distributed authorization |
136
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
147
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
147
click to vote
IEEEPACT
2005
IEEE
15 years 9 months ago
2005
IEEE
Transactional Coherence and Consistency (TCC) is a novel coherence scheme for shared memory multiprocessors that uses programmer-defined transactions as the fundamental unit of p...
118
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
135
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...