Operating system structures to support security and reliable software
TA Linden - ACM Computing Surveys (CSUR), 1976 - dl.acm.org
Security has become an important and challenging goal in the design of computer systems.
This survey focuses on two system structuring concepts that support security: small …
This survey focuses on two system structuring concepts that support security: small …
[PDF][PDF] Session 8 formalisms for artificial intelligence a universal modular actor formalism for artificial intelligence
C Hewitt, P Bishop, R Steiger - Advance papers of the conference, 1973 - eighty-twenty.org
Peter Bishop __ Richard Steiger Abstract This paper proposes a modular ACTOR
architecture and definitional method for artificial intelligence that is conceptually based on a …
architecture and definitional method for artificial intelligence that is conceptually based on a …
[图书][B] Agent-based modelling of socio-technical systems
Decision makers in large scale interconnected network systems require simulation models
for decision support. The behaviour of these systems is determined by many actors, situated …
for decision support. The behaviour of these systems is determined by many actors, situated …
[图书][B] Real-time systems design and analysis
PA Laplante - 2004 - ieeexplore.ieee.org
The undersigned hereby transfer any and all rights in and to the work includin without
limitation all copyright rights in the above work to The Institute of Electriial and Electronics …
limitation all copyright rights in the above work to The Institute of Electriial and Electronics …
The Cilk++ concurrency platform
CE Leiserson - Proceedings of the 46th Annual Design Automation …, 2009 - dl.acm.org
The availability of multicore processors across a wide range of computing platforms has
created a strong demand for software frameworks that can harness these resources. This …
created a strong demand for software frameworks that can harness these resources. This …
[图书][B] Object-oriented programming in the BETA programming language
OL Madsen, B Møller-Pedersen, K Nygaard - 1993 - pure.au.dk
This is a book on object-oriented programming and the BETA programming language.
Object-oriented programming originated with the Simula languages developed at the …
Object-oriented programming originated with the Simula languages developed at the …
Programming-in-the-large versus programming-in-the-small
F DeRemer, HH Kron - IEEE Transactions on Software …, 1976 - ieeexplore.ieee.org
Programming-in-the-Large Versus Programming-in-the-Small Page 1 IEEE TRANSACTIONS
ON SOFTWARE ENGINEERING, VOL. SE-2, NO. 2, JUNE 1976 [23] B. Wegbreit, "Mechanical …
ON SOFTWARE ENGINEERING, VOL. SE-2, NO. 2, JUNE 1976 [23] B. Wegbreit, "Mechanical …
[图书][B] Programming languages concepts and constructs
R Sethi - 1996 - dl.acm.org
Programming languages (2nd ed.) | Guide books skip to main content ACM Digital Library home
ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …
ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …
[图书][B] Real-time systems design and analysis: an engineer's handbook
PA Laplante - 1992 - dl.acm.org
From the Publisher:" IEEE Press is pleased to bring you this Second Edition of Phillip A.
Laplante's best-selling and widely-acclaimed practical guide to building real-time systems …
Laplante's best-selling and widely-acclaimed practical guide to building real-time systems …
Reducers and other Cilk++ hyperobjects
M Frigo, P Halpern, CE Leiserson… - Proceedings of the twenty …, 2009 - dl.acm.org
This paper introduces hyperobjects, a linguistic mechanism that allows different branches of
a multithreaded program to maintain coordinated local views of the same nonlocal variable …
a multithreaded program to maintain coordinated local views of the same nonlocal variable …