AAAAAA

   
Results: 1-14 |
Results: 14
SCHEDULING FOR EMBEDDED REAL-TIME SYSTEMS
Authors: BALARIN F LAVAGNO L MURPHY P SANGIOVANNIVINCENTELLI A
Citation: F. Balarin et al., SCHEDULING FOR EMBEDDED REAL-TIME SYSTEMS, IEEE design & test of computers, 15(1), 1998, pp. 71-82
THE USE OF PETRI NETS FOR THE DESIGN AND VERIFICATION OF ASYNCHRONOUSCIRCUITS AND SYSTEMS
Authors: KONDRATYEV A KISHINEVSKY M TAUBIN A CORTADELLA J LAVAGNO L
Citation: A. Kondratyev et al., THE USE OF PETRI NETS FOR THE DESIGN AND VERIFICATION OF ASYNCHRONOUSCIRCUITS AND SYSTEMS, Journal of circuits, systems, and computers, 8(1), 1998, pp. 67-118
DERIVING PETRI-NETS FROM FINITE TRANSITION-SYSTEMS
Authors: CORTADELLA J KISHINEVSKY M LAVAGNO L YAKOVLEV A
Citation: J. Cortadella et al., DERIVING PETRI-NETS FROM FINITE TRANSITION-SYSTEMS, I.E.E.E. transactions on computers, 47(8), 1998, pp. 859-882
RANAKININ, A NATURALLY-OCCURRING TACHYKININ, STIMULATES PHOSPHOLIPASE-C ACTIVITY IN THE FROG ADRENAL-GLAND
Authors: KODJO MK DESRUES L LAVAGNO L FASOLO A CONLON JM TONON MC VAUDRY H
Citation: Mk. Kodjo et al., RANAKININ, A NATURALLY-OCCURRING TACHYKININ, STIMULATES PHOSPHOLIPASE-C ACTIVITY IN THE FROG ADRENAL-GLAND, Endocrinology, 139(2), 1998, pp. 505-512
PETRIFY - A TOOL FOR MANIPULATING CONCURRENT SPECIFICATIONS AND SYNTHESIS OF ASYNCHRONOUS CONTROLLERS
Authors: CORTADELLA J KISHINEVSKY M KONDRATYEV A LAVAGNO L YAKOVLEV A
Citation: J. Cortadella et al., PETRIFY - A TOOL FOR MANIPULATING CONCURRENT SPECIFICATIONS AND SYNTHESIS OF ASYNCHRONOUS CONTROLLERS, IEICE transactions on information and systems, E80D(3), 1997, pp. 315-325
DAC-97 PANEL - NEXT-GENERATION HDLS
Authors: LAVAGNO L COLLINS N
Citation: L. Lavagno et N. Collins, DAC-97 PANEL - NEXT-GENERATION HDLS, IEEE design & test of computers, 14(3), 1997, pp. 7-8
A REGION-BASED THEORY FOR STATE ASSIGNMENT IN SPEED-INDEPENDENT CIRCUITS
Authors: CORTADELLA J KISHINEVSKY M KONDRATYEV A LAVAGNO L YAKOVLEV A
Citation: J. Cortadella et al., A REGION-BASED THEORY FOR STATE ASSIGNMENT IN SPEED-INDEPENDENT CIRCUITS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(8), 1997, pp. 793-812
DESIGN OF EMBEDDED SYSTEMS - FORMAL MODELS, VALIDATION, AND SYNTHESIS
Authors: EDWARDS S LAVAGNO L LEE EA SANGIOVANNIVINCENTELLI A
Citation: S. Edwards et al., DESIGN OF EMBEDDED SYSTEMS - FORMAL MODELS, VALIDATION, AND SYNTHESIS, Proceedings of the IEEE, 85(3), 1997, pp. 366-390
HIGH-LEVEL MODELING AND DESIGN OF ASYNCHRONOUS INTERFACE LOGIC
Authors: YAKOVLEV AV KOELMANS AM LAVAGNO L
Citation: Av. Yakovlev et al., HIGH-LEVEL MODELING AND DESIGN OF ASYNCHRONOUS INTERFACE LOGIC, IEEE design & test of computers, 12(1), 1995, pp. 32-40
SYNTHESIS FOR TESTABILITY TECHNIQUES FOR ASYNCHRONOUS CIRCUITS
Authors: KEUTZER K LAVAGNO L SANGIOVANNIVINCENTELLI A
Citation: K. Keutzer et al., SYNTHESIS FOR TESTABILITY TECHNIQUES FOR ASYNCHRONOUS CIRCUITS, IEEE transactions on computer-aided design of integrated circuits and systems, 14(12), 1995, pp. 1569-1577
AN EFFICIENT HEURISTIC-PROCEDURE FOR SOLVING THE STATE ASSIGNMENT PROBLEM FOR EVENT-BASED SPECIFICATIONS
Authors: LAVAGNO L MOON CW BRAYTON RK SANGIOVANNIVINCENTELLI AL
Citation: L. Lavagno et al., AN EFFICIENT HEURISTIC-PROCEDURE FOR SOLVING THE STATE ASSIGNMENT PROBLEM FOR EVENT-BASED SPECIFICATIONS, IEEE transactions on computer-aided design of integrated circuits and systems, 14(1), 1995, pp. 45-60
SYNTHESIS OF HAZARD-FREE ASYNCHRONOUS CIRCUITS WITH BOUNDED WIRE DELAYS
Authors: LAVAGNO L KEUTZER K SANGIOVANNIVINCENTELLI AL
Citation: L. Lavagno et al., SYNTHESIS OF HAZARD-FREE ASYNCHRONOUS CIRCUITS WITH BOUNDED WIRE DELAYS, IEEE transactions on computer-aided design of integrated circuits and systems, 14(1), 1995, pp. 61-86
HARDWARE-SOFTWARE CODESIGN OF EMBEDDED SYSTEMS
Authors: CHIODO M GIUSTO P JURECSKA A HSIEH HC SANGIOVANNIVINCENTELLI A LAVAGNO L
Citation: M. Chiodo et al., HARDWARE-SOFTWARE CODESIGN OF EMBEDDED SYSTEMS, IEEE MICRO, 14(4), 1994, pp. 26-36
AUTOMATED SYNTHESIS OF ASYNCHRONOUS INTERFACE CIRCUITS
Authors: LAVAGNO L SANGIOVANNIVINCENTELLI A
Citation: L. Lavagno et A. Sangiovannivincentelli, AUTOMATED SYNTHESIS OF ASYNCHRONOUS INTERFACE CIRCUITS, Microprocessors and microsystems, 17(4), 1993, pp. 232-242
Risultati: 1-14 |