PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 139
Citazione Data di pubblicazione Autori File
Reducing Operation Complexity in Symbolic Techniques throughPartitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - 6:(1998), pp. 322-325. (Intervento presentato al convegno ISCAS'98: IEEE International Symposium on Circuits and Systems tenutosi a Monterey, California, US nel June 1998) [10.1109/ISCAS.1998.705276]. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Implicit Manipulation of Equivalence Classes for Large Finite State Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 145:(1998), pp. 395-402. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Memory Optimization in Function and Set Manipulation with BDDs / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 28:(1998), pp. 99-120. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3:(1998), pp. 309-340. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
The General Product Machine: a New Model for Symbolic FSM Traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 12:(1998), pp. 267-289. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Computing Timed Transition Relations for Sequential cycle-based simulation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano. - (1999), pp. 8-12. (Intervento presentato al convegno IEEE Design, Automation and Test in Europe tenutosi a Munich, Germany nel March 9-12, 1999). 1-gen-1999 CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano -
Improving the Efficiency of BDD--based operators through Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 18:(1999), pp. 545-556. 1-gen-1999 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Improving Symbolic Traversals by Means of Activity Profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1999), pp. 306-311. (Intervento presentato al convegno DAC-36: 36th ACM/IEEE Design Automation Conference tenutosi a New Orleans (USA) nel June 1999). 1-gen-1999 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems / Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 147:(2000), pp. 305-312. [10.1049/ip-cdt:20000684] 1-gen-2000 CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano -
Optimizing Sequential Verification by Retiming Transformations / Cabodi, Gianpiero; Quer, Stefano; F., Somenzi. - (2000), pp. 601-606. (Intervento presentato al convegno DAC--37: 37st ACM/IEEE Design Automation Conference tenutosi a Los Angeles, USA nel June). 1-gen-2000 CABODI, GianpieroQUER, Stefano + -
Improving symbolic reachability analysis by means of activity profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 19:(2000), pp. 1065-1075. 1-gen-2000 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Symbolic Forward/Backward Traversals of Large Finite State Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 46:(2000), pp. 1137-1158. 1-gen-2000 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks / Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; E. M., Sentovich; R. K., Brayton. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 17:2(2000), pp. 107-134. [10.1023/A:1008748802907] 1-gen-2000 QUER, StefanoCABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, Luciano + -
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 47:(2001), pp. 163-179. 1-gen-2001 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions / Cabodi, Gianpiero. - 2102:(2001), pp. 118-130. (Intervento presentato al convegno Computer Aided Verification 13th International Conference, CAV 2001 tenutosi a Paris (FRA) nel July 18–22, 2001) [10.1007/3-540-44585-4_11]. 1-gen-2001 CABODI, Gianpiero -
Biasing symbolic search by means of dynamic activity profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2001), pp. 09-15. (Intervento presentato al convegno DATE'01: IEEE Design Automation and Test in Europe tenutosi a Munich nel march 2001). 1-gen-2001 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Can BDDs compete with SAT solvers on Bounded Model Checking? / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2002), pp. 117-122. (Intervento presentato al convegno DAC'39: 39th ACM/IEEE Design Automation Conference tenutosi a New Orleans (USA) nel June 2002). 1-gen-2002 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. (Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002) [10.1145/581199.581252]. 1-gen-2002 CABODI, GianpieroLAVAGNO, LucianoLAZARESCU, MIHAI TEODORNOCCO, SERGIOPASSERONE, ClaudioQUER, Stefano scheduling.pdf
Dynamic Scheduling and Clustering in Symbolic Image Computation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2002), pp. 150-156. (Intervento presentato al convegno DATE'02: IEEE Design Automation and Test in Europe tenutosi a Paris (F) nel March 2002). 1-gen-2002 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - LNCS 2404:(2002), pp. 471-484. [10.1007/3-540-45657-0_38] 1-gen-2002 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Mostrati risultati da 41 a 60 di 139
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