Sfoglia per Autore
A specification of a Proway protocol with an algebraic language
file da validare1986-01-01 Mirabella, Orazio; Di Stefano, A; Malgeri, Michele Giuseppe
An Algebraic calculus for the synthesis of discrete event processes
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
A Tool for the Performance analysis of Concurrent Systems,
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
Performance analysis of Interacting Parallel Systems by symbolic Simulation
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
A tool for the synthesis of discrete controllers for distributed systems
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
Formal VLSI Verification Based on LIPS
file da validare1989-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
A Tool for the Performance analysis of Concurrent Systems
file da validare1990-01-01 Carchiolo, V; Faro, A; Malgeri, Michele Giuseppe
Test sequence generation for VLSI circuit
file da validare1992-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
Behavioural approach to system codesign
file da validare1993-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
Using Logic programming in developing parallel deductive database
file da validare1994-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; M., Papale
The role of simulation in hardware/software codesign
file da validare1994-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
A formal hardware/software Codesign methodology
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
Using CIRCAL for real time system specification
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A framework for codesign based on fuzzy logic and genetic algorithms
file da validare1995-01-01 Catania, Vincenzo; Fiorito, N.; Malgeri, Michele Giuseppe; Russo, Marco
A formal approach to step by step codesign methodology
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Fuzzy approach to co-design system partitioning
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
A soft computing approach to hardware software codesign
file da validare1995-01-01 Catania, Vincenzo; Fiorito, N; Malgeri, Michele Giuseppe; Russo, Marco
A Modular Approach to Distributed Control System Design
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
Decomposition and Partitioning HW/SW Codesign
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; G., Mangioni
OO Design Methodology: a Master Clients Message Exchange System,
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A specification of a Proway protocol with an algebraic language | 1-gen-1986 | Mirabella, Orazio; Di Stefano, A; Malgeri, Michele Giuseppe | file da validare |
| An Algebraic calculus for the synthesis of discrete event processes | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
| A Tool for the Performance analysis of Concurrent Systems, | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
| Performance analysis of Interacting Parallel Systems by symbolic Simulation | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
| A tool for the synthesis of discrete controllers for distributed systems | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
| Formal VLSI Verification Based on LIPS | 1-gen-1989 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| A Tool for the Performance analysis of Concurrent Systems | 1-gen-1990 | Carchiolo, V; Faro, A; Malgeri, Michele Giuseppe | file da validare |
| Test sequence generation for VLSI circuit | 1-gen-1992 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| Behavioural approach to system codesign | 1-gen-1993 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| Using Logic programming in developing parallel deductive database | 1-gen-1994 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; M., Papale | file da validare |
| The role of simulation in hardware/software codesign | 1-gen-1994 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| A formal hardware/software Codesign methodology | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| Using CIRCAL for real time system specification | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
| A framework for codesign based on fuzzy logic and genetic algorithms | 1-gen-1995 | Catania, Vincenzo; Fiorito, N.; Malgeri, Michele Giuseppe; Russo, Marco | file da validare |
| A formal approach to step by step codesign methodology | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
| Fuzzy approach to co-design system partitioning | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| A soft computing approach to hardware software codesign | 1-gen-1995 | Catania, Vincenzo; Fiorito, N; Malgeri, Michele Giuseppe; Russo, Marco | file da validare |
| A Modular Approach to Distributed Control System Design | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| Decomposition and Partitioning HW/SW Codesign | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; G., Mangioni | file da validare |
| OO Design Methodology: a Master Clients Message Exchange System, | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
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