CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 246
Titolo Data di pubblicazione Autore(i) File
General characteristics and recent implementations of ring protection structures 1-gen-1983 Frosini, Graziano; Lazzerini, Beatrice
A Pascal simulator of a central processing unit with capability-based addressing features 1-gen-1984 Corsini, Paolo; Lazzerini, Beatrice; Lopriore, Lanfranco
Ring-protection mechanisms: general properties and significant implementations 1-gen-1985 Frosini, Graziano; Lazzerini, Beatrice
PDA: un supporto hardware per un debugger interattivo e simbolico in un sistema multi-microprocessore 1-gen-1985 Lazzerini, Beatrice; Lopriore, Lanfranco; Prete, COSIMO ANTONIO
Synchronous communications among concurrent processes in a Unix environment 1-gen-1985 Lazzerini, Beatrice; Lopriore, Lanfranco; Mancini, P.
DISDEB: an interactive high-level debugging system for a multi-microprocessor system 1-gen-1986 Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A proposal for distributed commitment and abort of multi-site transactions in a multi-microprocessor system 1-gen-1986 Ancilotti, Paolo; Lazzerini, Beatrice; Prete, COSIMO ANTONIO; M., Sacchi
A programmable debugging aid for real-time software development 1-gen-1986 Lazzerini, Beatrice; Lopriore, Lanfranco; Prete, COSIMO ANTONIO
Single-chip implementation of VLSI processors: the reduced instruction set computer approach 1-gen-1987 Lazzerini, Beatrice; P., Mancini
Software development environment for parallel systems 1-gen-1987 Corsini, Paolo; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Event treatment for program debugging in multi-microprocessor systems 1-gen-1987 Lazzerini, Beatrice; Lopriore, Lanfranco; Prete, COSIMO ANTONIO
A Prolog environment within the Unix operating system 1-gen-1987 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Event-driven debugging for distributed software 1-gen-1988 Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Unificazione in Prolog: costi e valutazioni 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice
A kernel for a multiprocessor system with anonymous processes 1-gen-1988 Corsini, Paolo; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Variables' lifetime, mode declarations and clause indexing in Prolog implementations 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice
A general model for an Abstract Prolog Machine 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
An abstract Prolog machine 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A Synthetic trace generator for multiprocessor performance evaluation 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Mostra risultati da 1 a 20 di 246
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile