7961 search results - page 479 / 1593 » Input-Output Model Programs |
181
click to vote
LICS
1993
IEEE
15 years 10 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
165
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
172
Voted
EUC
2006
Springer
15 years 10 months ago
2006
Springer
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...
177
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
172
click to vote
UM
2007
Springer
16 years 22 days ago
2007
Springer
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...