7124 search results - page 107 / 1425 » Programming Languages and Operating Systems |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
Clustered architectures are a solution to the bottleneck of centralized register files in superscalar and VLIW processors. The main challenge associated with clustered architectu...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
ICALP
2001
Springer
15 years 2 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
POPL
1999
ACM
15 years 2 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
VL
1998
IEEE
15 years 1 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...