10899 search results - page 335 / 2180 » The GP Programming System |
206
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
212
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
151
click to vote
SIGOPSE
2004
ACM
16 years 4 days ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
169
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
196
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...