2004 search results - page 350 / 401 » Interaction nets: programming language design and implementa... |
142
Voted
FORTE
1996
15 years 4 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
108
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
136
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
142
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
The adoption of transactional memory is hindered by the high overhead of software transactional memory and the intrusive design changes required by previously proposed TM hardware...
141
Voted
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...