Sfoglia per Autore
TTL: A LOTOS Extension for System Description
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; G., Mangioni
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
Decomposition and Partitioning in Hardware/Software Codesign
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Modular Approach to Distributed Control System Design
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
Algorithm for direct synthesis of formal specifications
file da validare1997-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G.
Adaptive scheduler for multimedia systems
file da validare1997-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
AN APPROACH TO THE SYNTHESIS OF HW AND SW IN CODESIGN
file da validare1997-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G.
Formal codesign methodology with multistep partitioning
1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
How to Evaluate the Performance of an Embedded System through its Formal Specification
file da validare1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Synthesis of TTL Specification: A Case Study
1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Simulator for Embedded Systems Design
file da validare1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
An Agent Based Platform for a Service Provider
file da validare1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Modelling a manufacturing System using a OO approach
file da validare1999-01-01 Carchiolo, Vincenza; A., Longheu; Malgeri, Michele Giuseppe
Formal Methods in System Design: A Case Study
file da validare1999-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; G., Mangioni
Object-Oriented Approach in Production Flow Modeling
file da validare1999-01-01 Carchiolo, Vincenza; S., D’Ambra; A., Longheu; Malgeri, Michele Giuseppe
An Experience Using a New Methodology for the Codesign of Embedded Hw/Sw Systems
file da validare1999-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Structuring the Web
file da validare2000-01-01 Carchiolo, Vincenza; Longheu, Alessandro; Malgeri, Michele Giuseppe
Implementing a Distributed Server using Mobile Agent Technology
file da validare2000-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Introducing Schema into Web
file da validare2000-01-01 Carchiolo, Vincenza; Longheu, Alessandro; Malgeri, Michele Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
TTL: A LOTOS Extension for System Description | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; G., Mangioni | 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 |
Decomposition and Partitioning in Hardware/Software Codesign | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
A Modular Approach to Distributed Control System Design | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
Algorithm for direct synthesis of formal specifications | 1-gen-1997 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G. | file da validare |
Adaptive scheduler for multimedia systems | 1-gen-1997 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
AN APPROACH TO THE SYNTHESIS OF HW AND SW IN CODESIGN | 1-gen-1997 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G. | file da validare |
Formal codesign methodology with multistep partitioning | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | |
How to Evaluate the Performance of an Embedded System through its Formal Specification | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Synthesis of TTL Specification: A Case Study | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | |
A Simulator for Embedded Systems Design | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
An Agent Based Platform for a Service Provider | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Modelling a manufacturing System using a OO approach | 1-gen-1999 | Carchiolo, Vincenza; A., Longheu; Malgeri, Michele Giuseppe | file da validare |
Formal Methods in System Design: A Case Study | 1-gen-1999 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; G., Mangioni | file da validare |
Object-Oriented Approach in Production Flow Modeling | 1-gen-1999 | Carchiolo, Vincenza; S., D’Ambra; A., Longheu; Malgeri, Michele Giuseppe | file da validare |
An Experience Using a New Methodology for the Codesign of Embedded Hw/Sw Systems | 1-gen-1999 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Structuring the Web | 1-gen-2000 | Carchiolo, Vincenza; Longheu, Alessandro; Malgeri, Michele Giuseppe | file da validare |
Implementing a Distributed Server using Mobile Agent Technology | 1-gen-2000 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Introducing Schema into Web | 1-gen-2000 | Carchiolo, Vincenza; Longheu, Alessandro; 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