580 search results - page 26 / 116 » Building a Family of Compilers |
95
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
101
click to vote
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
100
click to vote
IJHPCA
2007
15 years 10 days ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
115
Voted
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
91
Voted
ITS
1992
Springer
15 years 4 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...