Pubblicazioni il cui dipartimento è "Dipartimenti > DAUIN - Dipartimento di Automatica e Informatica" e l'anno è "1994"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | C | D | E | F | G | I | L | M | O | P | R | S | T | V | W
Numero di pubblicazioni : 63.

A

Articolo in atti di convegno R.I. Bahar, G.D. Hachtel, E. Macii, A. Pardo, M. Poncino, F. Somenzi (1994)
An ADD-based algorithm for shortest path back-tracing of large graphs. In: GLS-VLSI'94: 4th IEEE Great Lake Symposium on VLSI, Notre Dame, IN (USA), 4-5 Mar 1994. pp. 248-251 [Disponibilità ristretta]
Scopus: 1
[img]

Articolo in atti di convegno Evans A.; Macii E.; Poncino M. (1994)
Adding Control Signals to Enhance Circuit Testability. In: ASICON'94: 1994 IEEE International Conference on ASIC,.

Articolo in atti di convegno Baralis E.; Widom J. (1994)
An Algebraic Approach to Rule Analysis in Expert DatabaseSystems. In: The 20th International Conference on Very Large Data Bases, Santiago de Chile, September 12-15, 1994. pp. 475-486

Articolo in atti di convegno Bahar R. I; Cho H; Hachtel G. D; Macii E.; Somenzi F (1994)
An Application of ADD-Based Timing Analysis to Combinational Low Power Re-Synthesis. In: IWLPD-94: ACM/IEEE 1994 International Workshop on Low Power Design, Napa Valley,CA. pp. 39-44

Articolo in atti di convegno Poncino M. (1994)
Applications of Boolean Unification to Logic Synthesis. In: IEEE Canadian Conference on Electronic and Computer Engineering.
Scopus: 0

Articolo in atti di convegno P. Laface,L. Fissore,F. Ravera (1994)
Automatic Generation of Words Toward Flexible Vocabulary Isolated Word Recognition. In: International Conference on Spoken Language Processing, Yokohama, Japan, 1994. pp. 2215-2218

Articolo in atti di convegno Cabodi G; P. Camurati; Quer S. (1994)
Auxiliary variables for extending symbolic traversal techniques to data paths. In: DAC-31: 31st ACM/IEEE Desing Automation Conference, San Diego, June 1994. pp. 289-293
Web of Science: 1 - Scopus: 4

Articolo in atti di convegno Rebaudengo M.; Sonza Reorda M. (1994)
A Genetic Algorithm for Floorplan Area Optimization. In: Evolutionary Computation, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the First IEEE Conference on, Orlando, FL, USA, 27-29 Jun 1994. pp. 93-96
Scopus: 2

Articolo di rivista Ajmone Marsan M; Bianco A; Ciminiera L.; Sisto R.; Valenzano A (1994)
A LOTOS Extension for the Performance Analysis of Distributed Systems. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 2 n. 2, pp. 151-165. - ISSN 1063-6692
Web of Science: 20 - Scopus: 27
[img]
Preview

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1994)
A LOTOS Specification of the SERCOS Field-bus Protocol. In: SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, 21-23 June. pp. 139-147
Web of Science: 0

Articolo in atti di convegno P. Camurati; F. Corno; Meo M.; P. Prinetto (1994)
A New Functional Fault Model for System-Level Descriptions. In: 2th IEEE VLSI Test Symposium, NJ (USA), April 1994.
Scopus: 3

Articolo di rivista P. Baggia,L. Fissore,E. Giachin,G. Micca,C. Rullent,P. Laface (1994)
A Speech Understanding System for Information Retrieval. In: INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, vol. 8 n. 1, pp. 71-97. - ISSN 0218-0014

Articolo in atti di convegno Cho H; Hachtel G. D; Macii E.; Poncino M; Somenzi F (1994)
A State Space Decomposition Algorithm for Approximate FSM Traversal. In: EDTC-94: IEEE 1994 European Design and Test Conference, Paris, France. pp. 137-141
Scopus: 4

Articolo in atti di convegno Cho H; Hachtel G. D; Macii E.; Poncino M; Somenzi F (1994)
A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. In: ICCD-94: IEEE 1994 International Conference on Computer Design, Cambridge, MA. pp. 236-239
Web of Science: 6 - Scopus: 11

Articolo in atti di convegno Bahar R. I; Hachtel G. D; Macii E.; Somenzi F (1994)
A Symbolic Method to Reduce Power Consumption of Circuits Containing False Paths. In: ICCAD-94: ACM/IEEE 1994 International Conference on Computer-Aided Design, San Jose, CA. pp. 368-371
Web of Science: 6 - Scopus: 13

Articolo di rivista Macii E.; Meo A. R (1994)
A Test Generation Program for Sequential Circuits. In: JOURNAL OF ELECTRONIC TESTING, vol. 5, pp. 115-119. - ISSN 0923-8174
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Prinetto P., Rebaudengo M., Sonza Reorda M. (1994)
An automatic test pattern generator for large sequential circuits based on Genetic Algorithms. In: Test Conference, 1994. Proceedings., International, Washington, DC, USA, 2-6 Oct 1994.
Web of Science: 38

Articolo in atti di convegno Cabodi G., Gai S., Rebaudengo M., Sonza Reorda M. (1994)
A data parallel approach to Boolean function manipulation using BDDs. In: Massively Parallel Computing Systems, 1994., Proceedings of the First International Conference on, Ischia (I), 2-6 May 1994. pp. 163-175

Articolo in atti di convegno Prinetto P.; Corno F.; Sonza Reorda M. (1994)
An experimental analysis of the effectiveness of the circular self-test path technique. In: EURO-DAC '94: IEEE European design automation Conference, Grenoble (France), Sep 19-22, 1994. pp. 246-251
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno Camurati P.; Prinetto P.; Sonza Reorda M.;  Barbagallo S.;  Burri A.; Medina D. (1994)
An industrial experience in the built-in self test of embedded RAM. In: VTS 1994 : IEEE 12th VLSI Test Symposium, Cherry Hill, NJ (USA), Apr 25-28, 1994. pp. 306-311
Scopus: 2

Articolo in atti di convegno Baralis E.; Ceri S.; Monteleone G.; Paraboschi S. (1994)
An intelligent database system application: The design of EMS. In: Applications of Databases 1st International Conference, ADB-94, Vadstena (SWE), June 21–23, 1994. pp. 172-189

Articolo in atti di convegno Bayol C.; Soulas B.; Borrione D.; Corno F.; Prinetto P. (1994)
A process algebra interpretation of a verification oriented overlanguage of VHDL. In: EURO-DAC '94: IEEE European Design Automation Conference, Grenoble (France), Sep 19-22, 1994. pp. 506-511
Scopus: 3

C

Articolo di rivista De Alfaro Luca; Meo A.R. (1994)
CODES FOR SECOND- AND THIRD-ORDER GH-ARQ SCHEMES. In: IEEE TRANSACTIONS ON COMMUNICATIONS, pp. 899-910. - ISSN 0090-6778
Scopus: 4

Articolo in atti di convegno Macii E.; Poncino M (1994)
Connectivity and Spectral Analysis of Finite State Machines. In: MWSCAS-94: IEEE 37th Midwest Symposium on Circuits and Systems, Lafayette, LA. pp. 377-380
Web of Science: 0 - Scopus: 0

D

Articolo in atti di convegno Baralis E.; Ceri S.; Paraboschi S. (1994)
Declarative specification of constraint maintenance. In: 13th International Conference on the Entity-Relationship Approach, Manchester (GBR), December 13–16, 1994. pp. 205-222
Web of Science: 3 - Scopus: 5

Articolo in atti di convegno Alovisio D; Cianchini S; Macii E.; Poncino M (1994)
Describing Input Behavior of Sequential Circuits Modeled as Cellular Automata. In: ASICON-94: IEEE 1994 International Conference on ASIC, Beijing, China. pp. 79-82

Articolo in atti di convegno Cabodi G., Camurati P., Quer S. (1994)
Detecting hard faults with combined approximate forward / backwardsymbolic techniques. In: ISCAS'94: IEEE International Symposium on Circuits and Systems, London,. UK, May 1994. pp. 299-302
Web of Science: 0 - Scopus: 5

Articolo di rivista Montuschi P.; Ciminiera L.; Giustina A. (1994)
Division Unit with Newton-Raphson Approximation and Digit-by-Digit Refinement of the Quotient. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 141 n. 6, pp. 317-324. - ISSN 1350-2387
Web of Science: 4 - Scopus: 4

E

Articolo in atti di convegno Brusa E; Delprete C.; Genta G; Tonoli A; Carabelli S (1994)
Effetto del carico radiale sul comportamento dinamico dei cuscinetti magnetici attivi. In: XXIII Conv. Naz. AIAS, Rende (CS), I, 21-24 Settembre 1994. pp. 477-484

Articolo in atti di convegno Cabodi G; Camurati P.; S. Quer (1994)
Efficient State Space Pruning in Symbolic Backward Traversal. In: ICCD'94: IEEE International Conference on Computer Design, Cambridge, MA (USA), October 1994. pp. 230-235
Web of Science: 8 - Scopus: 11

Articolo in atti di convegno Delsanto Pp; Kaniadakis G.; Scalerandi M; Rebaudengo M; And Sonza Reorda M (1994)
Exploiting massively parallel architectures for the analysis of growth phenomena. In: AICA conference, Palermo. pp. 919-925

F

Articolo in atti di convegno Macii E.; Poncino M (1994)
FPGA Synthesis Using Look-Up Table and Multiplexor Based Architectures. In: MELECON-94: IEEE 8th Mediterranean Electrotechnical Conference, Antalya, Turkey. pp. 302-304
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Rebaudengo M.; Sonza Reorda M. (1994)
Floorplan area optimization using genetic algorithms. In: VLSI, 1994. Design Automation of High Performance VLSI Systems. GLSV '94, Proceedings., Fourth Great Lakes Symposium on, Notre Dame, IN, USA, 4-5 Mar 1994. pp. 22-25
Scopus: 3

Articolo in atti di convegno Cabodi G; Camurati P.; S. Quer (1994)
Full Symbolic ATPG for Large Circuits. In: ITC'94: IEEE International Test Conference, Washington, DC (USA), October 1994. pp. 980-988
Web of Science: 5

G

Articolo in atti di convegno Prinetto P., Rebaudengo M., Sonza Reorda M., Veiluva E. (1994)
GATTO: an Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits. In: Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on, New Orleans, LA, USA, 6-9 Nov 1994. pp. 411-417
Web of Science: 1

I

Articolo di rivista Durante L; Sisto R.; Valenzano A (1994)
Implementation of Static Semantic Analysis of LOTOS Specifications. In: SOFTWARE ENGINEERING JOURNAL, vol. 9, pp. 55-66. - ISSN 0268-6961
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Ajmone Marsan M; Bianco A.; Ciminiera L; Sisto R; Valenzano A (1994)
Integrating Performance Analysis in the Context of LOTOS-Based Design. In: MASCOTS, Durham, NC, USA, February 1994. pp. 292-298
Scopus: 3
[img]
Preview

L

Articolo in atti di convegno Macii E.; Poncino M (1994)
Look-Up Table FPGA Realization of m-out-of-n Bit Voters. In: CCECE-94: IEEE 1994 Canadian Conference on Electrical and Computer Engineering, Halifax, Nova Scotia. pp. 190-193
Scopus: 1

M

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M. (1994)
Making the circular self-test path technique effective for real circuits. In: ITC 1994 : IEEE International Test Conference, 1994, Washington DC (USA), Oct 2-6, 1994. pp. 949-957
Web of Science: 5

Articolo in atti di convegno P. Laface,L. Fissore (1994)
Model topology selection for isolated word recognition. In: IEEE International Conference on Acoustics, Speech, and Signal Processing ICASSP94, Adelaide, Australia, 1994. pp. 629-632
Web of Science: 0 - Scopus: 0

O

Capitolo di libro Mario Baldi; Silvano Gai; Maria Letizia Jaccheri; Patricia Lago (1994)
Object Oriented Software Process Model Design in E3. In: Software Process Modeling and Technology / A. FINKELSTEIN; J. KRAMER; B.A. NUSEIBEH. Research Studies Press/John Wiley & Sons, pp. 279-292. ISBN 9780863801693

Articolo di rivista Montuschi P.; Ciminiera L. (1994)
Over-Redundant Digit Sets and the Design of Digit-By-Digit Division Units. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-43 n. 3, pp. 269-277. - ISSN 0018-9340
Web of Science: 15 - Scopus: 17

P

Articolo in atti di convegno Lago P.; Malnati G. (1994)
Pandora: a temporal logic based process engine. In: International Conference on Logic Programming (ICLP), 13-18 giugno.

Articolo in atti di convegno Delsanto Pp; Kaniadakis G.; Scalerandi M; Rebaudengo M; And Sonza Reorda M (1994)
Parallel processing analysis of the 1-D KPZ growth equation. In: 6-th Joint EPS-APS International Conference on Physics Computing, Lugano. pp. 129-132

Capitolo di libro Tadei R., Williams H.C.W.L. (1994)
Performance indicators for evaluation with a dynamic urban model. In: Modelling the city. Performance, policy and planning / Bertuglia C.S., Clarke G.P., Wilson A.G. (eds). Routledge, London - New York, pp. 82-104. ISBN 9780415099448

Articolo in atti di convegno Hachtel G. D; Macii E.; Pardo A; Somenzi F (1994)
Probabilistic Analysis of Large Finite State Machines. In: DAC-31: ACM/IEEE Design Automation Conference, San Diego, CA. pp. 270-275
Web of Science: 8 - Scopus: 27

R

Articolo in atti di convegno Montuschi,Paolo, Ciminiera Luigi (1994)
Radix-2 division with quotient digit prediction without prescaling. In: Hawaii International Conference on System Sciences. pp. 331-338
Scopus: 0

Articolo di rivista Montuschi P.; Ciminiera L (1994)
Radix-8 Division with Over-Redundant Digit Set. In: JOURNAL OF VLSI SIGNAL PROCESSING, vol. 7 n. 3, pp. 259-270. - ISSN 0922-5773
Web of Science: 6 - Scopus: 6

Articolo in atti di convegno Hachtel G.; Hermida M.; Pardo A.; Poncino M.; Somenzi F. (1994)
Re-encoding Sequential Circuits to Reduce Power Dissipation. In: ICCAD'94: ACM/IEEE International Conference on CAD.
Web of Science: 16 - Scopus: 33

S

Articolo in atti di convegno Macii E.; Poncino M (1994)
STG Characteristics of the ISCAS'89 Benchmarks. In: ASICON-94: IEEE 1994 International Conference on ASIC, Beijing, China. pp. 177-180

Articolo in atti di convegno Baldi M.; Gai S.; Jaccheri M.L.; Lago P. (1994)
Searching for PMIPS: Process Model Instructions Per Second. In: Software Process Technology, Villard de Lans (FRA), 7-9 Feb 1994. pp. 35-37
Scopus: 0

Articolo di rivista F. Della Croce, R. Tadei, R. Rolando (1994)
Solving a real world project scheduling problem with a genetic approach. In: BELGIAN JOURNAL OF OPERATIONS RESEARCH, STATISTICS AND COMPUTER SCIENCE, vol. 33, pp. 65-78. - ISSN 0770-0512

Articolo in atti di convegno Hachtel G. D; Macii E.; Pardo A; Somenzi F (1994)
Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. In: EDTC-94: IEEE 1994 European Design and Test Conference, Paris, France. pp. 214-218
Scopus: 7

Articolo in atti di convegno Cabodi G; Camurati P.; S. Quer (1994)
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals. In: IEEE EURO-DAC94, Grenoble, September 1994. pp. 22-27
Web of Science: 10 - Scopus: 11

Articolo in atti di convegno Cabodi G., Camurati P., Quer S. (1994)
Symbolic Traversals of Data Paths with Auxiliary Variables. In: GLSV '94: Fourth Great Lakes Symposium on VLSI, Notre Dame, Indiana, USA, March 1994. pp. 93-96
Scopus: 1

Articolo in atti di convegno Evans A.; Macii E.; Poncino M. (1994)
Synthesis of Fully Testable Combinational Logic. In: MWSCAS'94: IEEE Midwest Symposium on Circuits and Systems.

Articolo in atti di convegno Camurati P.; Corno F.; Prinetto P.;  Bayol C.;  Soulas B.  (1994)
System-Level Modeling and Verification: a Comprehensive Design Methodology. In: ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Paris (France), Feb 28 - Mar 03, 1994. pp. 636-640
Scopus: 2

T

Articolo in atti di convegno Macii E.; Poncino M (1994)
The Impact of Gate Delay Models on Power Estimation for CMOS Circuits. In: ASICON-94: IEEE 1994 International Conference on ASIC, Beijing, China. pp. 41-44

Articolo in atti di convegno Macii E.; Poncino M (1994)
The Influence of Cell Library Characteristics on Power Consumption of CMOS Circuits. In: MELECON-94: IEEE 8th Mediterranean Electrotechnical Conference, Antalya, Turkey. pp. 537-540
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Bahar R. I; Cho H; Hachtel G. D; Macii E.; Somenzi F (1994)
Timing Analysis of Combinational Circuits Using ADD's. In: EDTC-94: IEEE 1994 European Design and Test Conference, Paris, France. pp. 625-629
Scopus: 13

V

Articolo di rivista Ercegovac M.; Lang T.; Montuschi P. (1994)
Very-High Radix Division with Prescaling and Selection by Rounding. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-43 n. 8, pp. 909-918. - ISSN 0018-9340
Web of Science: 47 - Scopus: 49

W

Articolo in atti di convegno P. Laface, M. Nicolazzo, L. Fissore (1994)
Word recognition for Very Large Vocabularies. In: Artificial Intelligence CRIM/FORWISS workshop, Erlangen, Gwrmania, 1994. pp. 93-101

Articolo in atti di convegno P. Laface,M. Nicolazzo,L. Fissore (1994)
Word recognition for Very Large Vocabularies. In: Artificial Intelligence CRIM/FORWISS workshop, Erlangen, Germania, 1994. pp. 93-101

Questa lista è stata generata il Fri Sep 22 23:39:27 2017 CEST.