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
A tool for the synthesis of discrete controllers for distributed systems
file da validare1988-01-01 Carchiolo, Vincenza; Faro, 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
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 Performance analysis of Concurrent 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 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 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 soft computing approach to hardware software codesign
file da validare1995-01-01 Catania, Vincenzo; Fiorito, N; Malgeri, Michele Giuseppe; Russo, Marco
Using CIRCAL for real time system specification
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A formal hardware/software Codesign methodology
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
A Batch Interface to a Finite Element Package via E-mail
file da validare1996-01-01 Alfonzetti, Salvatore; Malgeri, Michele Giuseppe; Salerno, Nunzio
Automatic Mesh Generation by Let-It-Grow Neural Network
1996-01-01 Alfonzetti, Salvatore; Cavalieri, Salvatore; Coco, Salvatore; Malgeri, M.
Decomposition and Partitioning in Hardware/Software Codesign
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, 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 |
A tool for the synthesis of discrete controllers for distributed systems | 1-gen-1988 | Carchiolo, Vincenza; Faro, 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 |
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 Performance analysis of Concurrent 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 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 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 soft computing approach to hardware software codesign | 1-gen-1995 | Catania, Vincenzo; Fiorito, N; Malgeri, Michele Giuseppe; Russo, Marco | file da validare |
Using CIRCAL for real time system specification | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
A formal hardware/software Codesign methodology | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
A Batch Interface to a Finite Element Package via E-mail | 1-gen-1996 | Alfonzetti, Salvatore; Malgeri, Michele Giuseppe; Salerno, Nunzio | file da validare |
Automatic Mesh Generation by Let-It-Grow Neural Network | 1-gen-1996 | Alfonzetti, Salvatore; Cavalieri, Salvatore; Coco, Salvatore; Malgeri, M. | |
Decomposition and Partitioning in Hardware/Software Codesign | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, 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