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

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

A

Articolo in atti di convegno A. Sanna; B. Montrucchio; Arina R.; L. Massasso (1999)
A 3D Fluid-Flow Visualizer for Entry Level Computers. In: WSCG'99 The 7-th International Conference in Central Europe on Computer Graphics, February 1999. pp. 249-256

Articolo in atti di convegno F. Corno, M. Rebaudengo, M. Sonza Reorda, M. Violante (1999)
ALPS: a peak power estimation tool for sequential circuits. In: VLSI, 1999. Proceedings. Ninth Great Lakes Symposium on. pp. 350-353
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno De Martin J.C.; Et Al (1999)
An Adaptive Multi-Rate Speech Coder for Digital Cellular Telephony. In: IEEE ICASSP, Phoenix, Arizona, USA, March 1999. pp. 193-196
Web of Science: 0 - Scopus: 6

Articolo in atti di convegno Nosetti L; Solomon C; Macii E. (1999)
Analysis of Memory Accesses in Embedded Systems. In: ICECS-99: IEEE International Conference on Electronics, Circuits and Systems, Pafos, Cyprus. pp. 1783-1786
Scopus: 3

Articolo in atti di convegno Gevros P.; Risso F.; Kirstein P. (1999)
Analysis of a Method for Differential TCP Service. In: Globecom 99. pp. 1699-1708
Web of Science: 0 - Scopus: 8
[img]
Preview
[img]

Articolo di rivista Baldi M.; Macii A.; Macii E.; Poncino M. (1999)
Application of symbolic FSM Markovian analysis to protocol verification. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 146 n. 5, pp. 221-226. - ISSN 1350-2387
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno Corno F.; Sonza Reorda M.; Squillero G. (1999)
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. In: Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP'99 and EuroEcTel'99, Göteborg (SWE), May 26-27, 1999. pp. 182-192 [Disponibilità ristretta]
Scopus: 1
[img]

Articolo in atti di convegno Corno F.; Sonza Reorda M.; Squillero G. (1999)
Approximate equivalence verification of sequential circuits via genetic algorithms. In: DATE '99, Design, Automation and Test in Europe Conference and Exhibition 1999, Munich (DEU), March 9-12, 1999. pp. 754-755 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 2
[img]

Articolo di rivista L. Benini; De Micheli G; Macii A.; Macii E.; Poncino M. (1999)
Automatic Selection of Instruction Op-Codes of Low-Power Core Processors. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 146, pp. 173-178. - ISSN 1350-2387
Web of Science: 0 - Scopus: 2

Articolo di rivista Benini Il.; De Micheli G.; Lioy A.; Macii E.; Odasso G.; Poncino M. (1999)
Automatic Synthesis of Large Telescopic Units Based on Near-Minimum Timed Supersetting. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 48, pp. 769-779. - ISSN 0018-9340
Web of Science: 23 - Scopus: 26

Articolo in atti di convegno Demartini C.G.; R. Iosif; C. Raibulet; J.P. Thomesse (1999)
A DBR Based Approach for System Management. In: Fieldbus Conference FeT'99. pp. 437-444
Web of Science: 0

Articolo di rivista Demartini C.; Iosif R.; Sisto R. (1999)
A Deadlock Detection Tool for Concurrent Java Programs. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 29 (7), pp. 577-603. - ISSN 0038-0644
Web of Science: 41 - Scopus: 80

Articolo in atti di convegno F. Della Croce; Ghirardi M.; R. Tadei (1999)
An Improved Branch and Bound Algorithm for the two-machine Total Completion Time Flow Shop Problem. In: AIRO99, Naples, September 1999, 196-197.

Articolo in atti di convegno L. Benini; G. Castelli; Macii A.; E. Macii; M. Poncino; R. Scarsi (1999)
A Library of Accurate Battery Models for Usage in High-Level Power Estimation and Optimization. In: PATMOS-99: International Workshop on Power & Timing Modeling, Optimization and Simulation, Kos Island, Grecia, Ottobre 1999. pp. 345-354

Articolo di rivista Benini L.; De Micheli G.; Macii A.; Macii E.; Poncino M. (1999)
A Methodology for the Automatic Selection of Instruction Op-Codes of Low-Power Core Processors. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 146. - ISSN 1350-2387

Articolo in atti di convegno F. Corno, M. Rebaudengo, M. Sonza Reorda, M. Violante (1999)
A New BIST Architecture for Low Power Circuits. In: European Test Workshop 1999. Proceedings, Constance, Germany, 25-28 May 1999. pp. 160-164

Articolo di rivista Sanna A.; Montrucchio B.; Sparavigna A. (1999)
A Parallel Algorithm of Texture Analysis for Liquid Crystal Investigation. In: PATTERN RECOGNITION LETTERS, vol. 20, pp. 183-190. - ISSN 0167-8655 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 2
[img] [img]

Articolo in atti di convegno Macii E. (1999)
A Survey of State-of-the-Art CAD Techniques for RT and Gate-Level Dynamic Power Management. In: SCS-99: IEEE International Symposium on Signals, Circuits and Systems, Iasi, Romania. pp. 11-16

Articolo in atti di convegno Odasso G; Macii E. (1999)
A Table-Based Macromodel for Behavioral Delay Estimation. In: IEEE 33rd Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA. pp. 772-774
Scopus: 0

Articolo in atti di convegno Macii A.; Scarsi R. (1999)
A comparison of Stream Synthesis Methods for Fast Power Simulation. In: VOLTA-99: IEEE Alessandro Volta Intl Memorial Workshop on Low Power Design, Marzo. pp. 107-113
Web of Science: 0

Articolo in atti di convegno A. Benso; Civera P.; M. Rebaudengo; M. Sonza Reorda (1999)
A low cost programmable board for speeding-upfault-injection in Microprocessor based systems. In: RAMS'99: ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM.

Capitolo di libro R. Tadei; Della Croce Di Dojola F.; S. Pucci (1999)
A scheduling prototype for the factory automation: matching OR methodologies to the actual industrial , Mcmillan, London, 1999, 183-198. In: Operations Research in Industry / T.A. CIRIANI; E. L. JOHNSON; S. GLIOZZI; R. TADEI. MACMILLAN, LONDON, pp. 183-198. ISBN 9780333745489

Capitolo di libro Tadei R.; Della Croce F.; Pucci S. (1999)
A scheduling prototype for the factory automation: matching OR methodologies to the actual industrial needs. In: Operational Research in Industry / CIRIANI T.A.; GLIOZZI S.; JOHNSON E.J.; TADEI R. Mcmillan, LONDON, pp. 183-198. ISBN 9780333745489

B

Articolo in atti di convegno Montuschi P., Lang T. (1999)
Boosting Very High Radix Division with Prescaling and Selection by Rounding. In: IEEE 14th Symposium on Computer Arithmetic, Adelaide, Australia, April 1999. pp. 52-59
Web of Science: 2 - Scopus: 3

C

Articolo di rivista Mario Baldi; Davide Bergamasco; Silvano Gai; Dante Malagrino (1999)
CLIMAX: CeLl-Interleaved Merged ATM ConneXions. In: TELECOMMUNICATION SYSTEMS, vol. 12, no. 1. - ISSN 1018-4864
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Corgnati R; Macii E.; Poncino M (1999)
Clustered Table-Based Macromodels for RTL Power Estimation. In: GLS-VLSI-99: IEEE/ACM 9th Great Lakes Symposium on VLSI, Ann Arbor, MI. pp. 354-357
Web of Science: 10 - Scopus: 15

Articolo in atti di convegno Bogliolo A; Macii E.; Poncino M; Mihailovici V (1999)
Combinational Characterization-Based Power Macro-Models for Sequential Macros. In: PATMOS-99: IEEE International Workshop on Power and Timing Modeling, Optimization and Simulation, Kos Island, Greece. pp. 293-301

Articolo in atti di convegno Mario Baldi; Fulvio Risso (1999)
Comparing the Efficiency of IP and ATM Telephony. In: 2nd International IEEE Conference on ATM (ICATM'99), Colmar (France), June 21-23, 1999. pp. 180-186
[img] [img]
Preview

Articolo in atti di convegno Benini L; De Micheli G; Lioy A; Macii E.; Odasso G; Poncino M (1999)
Computational Kernels and their Application to Sequential Power Optimization. In: DAC-35: ACM/IEEE Design Automation Conference, San Francisco, CA. pp. 764-769

Articolo in atti di convegno G. Cabodi; P. Camurati; Passerone C.; S. Quer (1999)
Computing Timed Transition Relations for Sequential cycle-based simulation. In: IEEE Design, Automation and Test in Europe, Munich, Germany, March 9-12, 1999. pp. 8-12
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno C. Chesta; Laface P.; Ravera F. (1999)
Connected Digit Recognition Using Short and Long Duration Models. In: Proc. of the Int. Conf. on Acoustic Speech and Signal Processing. pp. 557-560
Web of Science: 0 - Scopus: 6

Articolo in atti di convegno Bertacco V., Damiani M., Quer S. (1999)
Cycle-based Symbolic Simulation of Synchronous Circuits. In: DAC--36: 36st ACM/IEEE Design Automation Conference, NEw Orleans, Luoisiana, USA, June 1999. pp. 391-396
Scopus: 13

D

Articolo in atti di convegno Lerda F.; Sisto R. (1999)
Distributed-Memory Model Checking with SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 22-39 [Disponibilità ristretta]
Web of Science: 29 - Scopus: 88
[img]

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (1999)
Dynamic Data Management in STEP. In: 32th ISATA Int. Conf, June 1999. pp. 231-238

Articolo in atti di convegno Demartini C.G.; R. Iosif; R. Sisto (1999)
dSPIN: A Dynamic Extension of SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 261-276 [Disponibilità ristretta]
Web of Science: 16 - Scopus: 55
[img]

E

Articolo in atti di convegno E. Masala; Meo A.R.; A. Servetti (1999)
EduLinux - Una soluzione tecnica per l'installazione automatica personalizzata di Linux su elaboratori e reti di basso costo. In: XXXVII Congresso Annuale AICA, Abano Terme, September 1999. pp. 580-589

Articolo in atti di convegno Farinetti L; Malnati G. (1999)
Educational strategies and technical implementation: the experienceof Politecnico di Torino in remote tutoring. In: Multimedia Computing and Systems, 1999. IEEE International Conference on, Florence, Italy, 06/07/1999 - 06/11/1999. pp. 690-694
Scopus: 0

Articolo in atti di convegno M. Rebaudengo, M. Sonza Reorda (1999)
Evaluating the fault tolerance capabilities of embedded systems via BDM. In: VLSI Test Symposium, 1999. Proceedings. 17th IEEE, Dana Point, CA, 25-29 Apr 1999. pp. 452-457
Web of Science: 16 - Scopus: 20

Articolo di rivista Chiusano S; Corno F.; Prinetto P (1999)
Exploiting Behavioral Information in Gate-Level ATPG. In: JOURNAL OF ELECTRONIC TESTING, vol. 14(1-2), pp. 141-148. - ISSN 0923-8174
Web of Science: 0 - Scopus: 5

Articolo in atti di convegno De Blieck E.; Bos L.; Ciminiera L.; Sisto R. (1999)
Exploiting smart cards and mobile agents for personalized service provisioning: A case study. In: Proc. ACTS CAMALEON Workshop, 01-JAN-99-.

Articolo in atti di convegno Macii A.; E. Macii (1999)
Exploring the Impact of Logic Synthesis on Area, Delay and Power Dissipation of CMOS Circuits. In: IEEE Asilomar Conference on Signals, Systems and Computers, Pacific Grove, California, Ottobre 1999. pp. 384-388
Scopus: 0

Articolo in atti di convegno Macii A; Macii E.; Poncino M; Scarsi R (1999)
Extending Spectral Synthesis of Binary Streams to Sequential Circuits. In: PACRIM-99: IEEE 1999 Pacific Rim Conference on Communications, Computers and Signal Processing, Victoria, British Columbia. pp. 479-482
Scopus: 0

F

Articolo di rivista Benso A., Rebaudengo M., Sonza Reorda M. (1999)
Fault Injection for Embedded Microprocessor-based Systems. In: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 5 n. 10, pp. 693-712. - ISSN 0948-6968
Scopus: 7
[img]
Preview

Articolo in atti di convegno Benso A., Rebaudengo M., Sonza Reorda M. (1999)
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. In: Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse (FRA), September 27–29, 1999. pp. 323-335 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 5
[img]

Articolo in atti di convegno Morisio M.; Romano D.; Moiso C. (1999)
Framework Based Software Development: Investigating the Learning Effect. In: 6th IEEE Int. Software Metrics Symposium, Metrics99, November.
Scopus: 4

G

Articolo in atti di convegno Benini L; De Micheli G; Macii A; Macii E.; Poncino M; Scarsi R (1999)
Glitch power minimization by gate freezing. In: DATE 99, Design, Automation and Test in Europe Conference and Exhibition 1999, Munich, Germany, 9-12 March 1999. pp. 163-167 [Disponibilità ristretta]
Web of Science: 3 - Scopus: 5
[img]

H

Articolo in atti di convegno Benso A.; Cataldo S.; Chiusano S.; Prinetto P; Zorian Y. (1999)
HD-BIST: a hierarchical framework for BIST scheduling and diagnosis in SOCs. In: IEEE International Test Conference, Atlantic City, NJ, 27-30 September 1999. pp. 1038-1044
Scopus: 4

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (1999)
High Quality Test Pattern Generation for RT-level VHDL Descriptions. In: NON SPECIFICATO.

Articolo in atti di convegno Macii A; Macii E. (1999)
High-Throughput, Telescopic Implementation of a R2W Converter for a 5-Moduli RNS. In: SCS-99: IEEE International Symposium on Signals, Circuits and Systems, Iasi, Romania. pp. 175-178

I

Capitolo di libro Farinetti L. (1999)
I modelli e le strategie di apprendimento (Cap. 2). In: Insegnare all'università: formazione dei docenti e qualità della didattica / GOLA M.; LUCIANO A. UTET, TORINO. ISBN 9788877505897

Libro A.R. Meo; Mezzalama M.; F. Peiretti (1999)
Il PC e Internet. UTET, TORINO.

Capitolo di libro Ricciardi N.; Tadei R. (1999)
Il sistema degli interporti. In: Scienze delle decisioni per i trasporti / PALLOTTINO S.; SCIOMACHEN A. FrancoAngeli, MILANO, pp. 755-773. ISBN 9788846417343

Articolo in atti di convegno Cabodi G; Camurati P; Quer S. (1999)
Improving Symbolic Traversals by Means of Activity Profiles. In: DAC-36: 36th ACM/IEEE Design Automation Conference, New Orleans (USA), June 1999. pp. 306-311
Scopus: 8

Articolo di rivista G. Cabodi; P. Camurati; Quer S. (1999)
Improving the Efficiency of BDD--based operators through Partitioning. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 18, pp. 545-556. - ISSN 0278-0070
Web of Science: 10 - Scopus: 14

Articolo in atti di convegno Baralis E.M.; Psaila G. (1999)
Incremental Refinement of Mining Queries. In: Data Warehousing and Knowledge Discovery First International Conference, DaWaK'99, Florence (ITA), August 30 – September 1, 1999. pp. 173-182 [Disponibilità ristretta]
Scopus: 19
[img]

Articolo in atti di convegno San Millan E.; Entrena L.; Espejo J.A.; Chiusano S.; Corno F. (1999)
Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization. In: IEEE Design, Automation and Test in Europe, 9-12 March 1999. pp. 516-520
Web of Science: 0 - Scopus: 5

Libro Mario Baldi; Piero Nicoletti (1999)
Internetworking. McGraw-Hill Libri Italia, MILANO, p. 286. ISBN 9788838607806

Articolo in atti di convegno Morisio M.; Ezran M.; Tully C. (1999)
Introducing Reuse in Companies: A survey of European Experiences. In: ACM Symposium on Software Reusability.

K

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Odasso G; Poncino M (1999)
Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms. In: DAC-36: ACM/IEEE Design Automation Conference, New Orleans, LA. pp. 247-252
Scopus: 3

L

Libro Ezran M.; Morisio M.; Tully C. (1999)
La reutilisabilité du logiciel. Eyrolles, PARIS. ISBN 9782212090666

Articolo in atti di convegno Macii A; Macii E. (1999)
Library Issues in the Implementation of Fast R2W Converters. In: PACRIM-99: IEEE 1999 Pacific Rim Conference on Communications, Computers and Signal Processing, Victoria, British Columbia. pp. 464-467
Scopus: 0

Articolo in atti di convegno Macii A.; E. Macii (1999)
Low-Power Implementation of a Residue-to-Weighted Conversion Unit for a 5-Moduli RNS. In: ICECS-99: IEEE International Conference on Electronics, Circuits and systems, Pafos, Cyprus, Settembre 1999. pp. 625-628
Scopus: 0

M

Articolo di rivista Bruno G.; Torchiano M. (1999)
Making CIMOSA Operational: the experience with the PrimeObjects Tool. In: COMPUTERS IN INDUSTRY, vol. 40, pp. 279-291. - ISSN 0166-3615
Web of Science: 11 - Scopus: 15

Articolo di rivista Morisio M. (1999)
Measurements Processes are Software, Too. In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212
Web of Science: 1 - Scopus: 5

Articolo in atti di convegno Morisio M.; Romano D.; Stamelos I.; Spahos V. (1999)
Measuring Functionality and Productivity in Web-based Applications: a Case Study. In: 6th IEEE Int. Software Metrics Symposium, November.
Scopus: 22

Articolo in atti di convegno Agarwal Rakesh; Bruno Giorgio; Torchiano M. (1999)
Modeling Complex Systems: Class models and instance models. In: 2nd Int. Conf. on Information Technology (CIT'99), 20-22 Dicembre. pp. 1-6

O

Articolo in atti di convegno Agarwal Rakesh; Bruno Giorgio; Torchiano M. (1999)
Object-Oriented architectural support for developing complex systems. In: IEEE 23rd Annual Int.Computer Software and Applications Conf. (COMPSAC'99), Phoenix, AZ, USA, 27-29 Ottobre. pp. 259-264
Scopus: 4

Articolo in atti di convegno Sanna A.; Montrucchio B.; Arina R. (1999)
On Time-Varying Flow Fields: a streakline-based visualization method. In: Eurographics'99 Short Papers and Demos Proceeedings. pp. 30-33

Articolo in atti di convegno Baldi M.; Bergamasco D.; Risso F. (1999)
On the Efficiency of Packet Telephony. In: 7th IFIP International Conference on Telecommunication Systems (ICTS 99), Nashville (TN), March 18-21, 1999.
[img]
Preview

Curatela Ciriani T.A.; Johson E.L.; Gliozzi S.; Tadei R. (1999)
Operational Research in Industry. [Curatela]

Articolo di rivista Risso F.; Gevros P. (1999)
Operational and Performance Issues of a CBQ router. In: COMPUTER COMMUNICATION REVIEW, vol. 29, pp. 47-58. - ISSN 0146-4833
Scopus: 16
[img]
Preview

Articolo in atti di convegno F. Corno, M. Rebaudengo, M. Sonza Reorda, M. Violante (1999)
Optimal vector selection for low power BIST. In: Defect and Fault Tolerance in VLSI Systems, 1999. DFT '99. International Symposium on, Albuquerque, NM, USA, Nov 1999. pp. 219-226
Scopus: 15

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (1999)
Optimizing Deceptive Functions with the SG-Clans Algorithm. In: CEC. pp. 2190-2195
Scopus: 6

P

Articolo in atti di convegno Bogliolo A; Corgnati R; Macii E.; Poncino M (1999)
Parameterized RTL Power Models for Combinational Soft Macros. In: ICCAD-99: IEEE/ACM 1999 International Conference on Computer-Aided Design, San Jose, CA. pp. 284-287
Scopus: 6

Articolo in atti di convegno Macii A; Macii E. (1999)
Peak Power Constrained Test Sets: Generation Heuristics and Experiments. In: ICECS-99: IEEE International Conference on Electronics, Circuits and Systems, Pafos, Cyprus. pp. 925-928
Scopus: 2

Articolo in atti di convegno Chesta C.; Laface P.; Nigra M. (1999)
Piecewise Discriminative HMM Training. In: Eurospeech 99. pp. 2729-2732

Articolo in atti di convegno Macii A; Macii E. (1999)
Power Simulation Using Test Sets: An Experimental Analysis. In: PACRIM-99: IEEE 1999 Pacific Rim Conference on Communications, Computers and Signal Processing, Victoria, British Columbia. p. 474
Scopus: 0

Libro Macii A.; Macii E.; Scarsi R. (1999)
Programmare in QBasic: Teoria ed Esercizi Svolti. Editrice Esculapio, BOLOGNA. ISBN 9788886524315

Articolo di rivista Sanna A. (1999)
Proteggere i modelli 3D mediante watermarking. In: COMPUTER GAZETTE, vol. 11, pp. 63-65. - ISSN 1123-4253

R

Articolo in atti di convegno Chiusano S.; Corno F.; Prinetto P. (1999)
RT-level TPG Exploiting High-Level Synthesis Information. In: IEEE VLSI Test Symposium, 25-30 April 1999. pp. 341-353
Web of Science: 5 - Scopus: 10

Articolo in atti di convegno Anton C; Bogliolo A; Civera P; Colonescu I; Macii E.; Poncino M (1999)
RTL Macromodels for Non-Stationary Workloads. In: PATMOS-99: IEEE International Workshop on Power and Timing Modeling, Optimization and Simulation, Kos Island, Greece. pp. 313-322

Articolo in atti di convegno Guardiani C; Macii A; Macii E.; Poncino M; Rossello M; Scarsi R; Silvano C; Zafalon R (1999)
RTL Power Estimation in an Industrial Design Flow. In: VOLTA-99: IEEE Alessandro Volta Memorial Workshop on Low Power Design, Como, Italy. pp. 91-96
Web of Science: 0

Articolo in atti di convegno L. Benini; Macii A.; E. Macii; M. Poncino (1999)
Region Compression: A New Scheme for Memory Energy Minimization in Embedded Systems. In: DSD-99: Euromicro Workshop on Digital System Design: Architectures, Methods and Tools, Milano, Settembre 1999. pp. 371-378
Scopus: 4

Articolo in atti di convegno Macii A; Macii E.; Odasso G; Poncino M; Scarsi R (1999)
Regression-Based Macromodeling for Delay Estimation of Behavioral Components. In: GLS-VLSI-99: IEEE/ACM 9th Great Lakes Symposium on VLSI, Ann Arbor, MI. pp. 188-191
Web of Science: 0 - Scopus: 1

Articolo di rivista M. Canale; G. Fiorio; S. Malan; M. Taragna (1999)
Robust tuning of low-order controllers via uncertainty model identification. In: EUROPEAN JOURNAL OF CONTROL, vol. 5 n. 2-4, pp. 316-328. - ISSN 0947-3580
Scopus: 5

Capitolo di libro Baralis E.M. (1999)
Rule Analysis. In: Active rules in Database Systems / PATON N. W. Springer Verlag, NEW YORK, pp. 51-67. ISBN 9780387985299

S

Articolo di rivista F. Della Croce, R. Tadei, P.S. Asioli (1999)
Scheduling a round robin tennis tournament under courts and players availability constraints. In: ANNALS OF OPERATIONS RESEARCH, vol. 92, pp. 349-361. - ISSN 0254-5330 [Disponibilità ristretta]
Web of Science: 13 - Scopus: 20
[img]

Articolo in atti di convegno Benini L.; Macii A.; Macii E.; Poncino M. (1999)
Selective Instruction Compression for Memory Energy Reduction in Embedded Systems. In: ISLPED-99: ACM/IEEE International Symposium on Low Power Electronics and Design, Agosto. pp. 206-211
Scopus: 76

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (1999)
Simulation-Based Sequential Equivalence Checking of RTL VHDL. In: NON SPECIFICATO. pp. 351-354

Articolo in atti di convegno M. Rebaudengo, M. Sonza Reorda, M. Torchiano, M. Violante (1999)
Soft-error detection through software fault-tolerance techniques. In: IEEE Int. Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'99), Albuquerque, NM (USA), 1-3 Nov. 1999. pp. 210-218 [Disponibilità ristretta]
Scopus: 103
[img]

Articolo di rivista Sparavigna A; Sanna A; Montrucchio B.; Strigazzi A (1999)
Streamline Image Analysis: a new tool for investigating defects in nematic liquid crystals. In: LIQUID CRYSTALS, vol. 26-10, pp. 1467-1478. - ISSN 0267-8292 [Disponibilità ristretta]
Web of Science: 6 - Scopus: 6
[img]

Articolo di rivista F. Corno; P. Prinetto; M. Sonza Reorda; Violante M.; U. Glaeser; H.T. Vierhaus (1999)
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 18 n. 2, pp. 191-202. - ISSN 0278-0070
Web of Science: 3 - Scopus: 4

Articolo di rivista Benini L.; De Micheli G.; Macii E.; Poncino M.; Scarsi R. (1999)
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchronous Controllers. In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, vol. 4, pp. 351-375. - ISSN 1084-4309
Scopus: 43

Articolo di rivista Benini L.; De Micheli G.; Macii E.; Poncino M.; Scarsi R. (1999)
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchrounous Controllers. In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, vol. 4. - ISSN 1084-4309

Articolo in atti di convegno Benini L.; Macii A.; Macii E.; Poncino M.; Scarsi R. (1999)
Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses. In: DAC-36: ACM/IEEE Design Automation Conference, Giugno. pp. 128-133
Scopus: 34

Brevetto De Martin J.C.; Anandakumar Krishnasamy; Alan Mccree (1999)
System for Dynamic Adaptation of Data/Channel Coding in Wireless Communications. 6421527.

T

Articolo in atti di convegno Corno F., Rebaudengo M., Sonza Reorda M., Violante M. (1999)
Test Pattern Generation under Low Power Constraints. In: 1st European Workshops, EvoIASP'99 and EuroEcTel'99, Göteborg (SWE), May 26-27, 1999. pp. 162-170 [Disponibilità ristretta]
Scopus: 0
[img]

Articolo di rivista Barbagallo S., Benso A., Chiusano S., Lobetti Bodoni M., Prinetto P. (1999)
Testing Embedded Memories in Telecommunication Systems. In: IEEE COMMUNICATIONS MAGAZINE, vol. 37 , Issue: 6, pp. 84-89. - ISSN 0163-6804
Web of Science: 0 - Scopus: 2
[img]
Preview

Articolo in atti di convegno Benso A.; Chiusano S.; Prinetto P.; Giovannetti S.; Mariani R.; Motto S. (1999)
Testing an MCM for high-energy physics experiments: a case study. In: IEEE International Test Conference, Atlantic City, NJ, 27-30 September 1999. pp. 38-46
Scopus: 1

Articolo in atti di convegno F. Corno, M. Rebaudengo, M. Sonza Reorda, M. Violante (1999)
Transformation-based peak power reduction for test sequences. In: Low-Power Design, 1999. Proceedings. IEEE Alessandro Volta Memorial Workshop on, Como, I, 4-5 Mar 1999. pp. 78-83
Web of Science: 0

Articolo di rivista Tadei R.; Ricciardi N. (1999)
The dynamic multilevel assignment problem as a stochastic extremal process. In: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, vol. 117/2, pp. 264-275. - ISSN 0377-2217
Web of Science: 2 - Scopus: 2

V

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (1999)
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms. In: NON SPECIFICATO. pp. 1293-1297
Scopus: 0

Articolo di rivista Lang T.; Montuschi P. (1999)
Very High Radix Square Root with Prescaling and Rounding and a Combined Division/Square Root Unit. In: IEEE TRANSACTIONS ON COMPUTERS, vol. C-48 n. 8, pp. 827-841. - ISSN 0018-9340
Web of Science: 18 - Scopus: 28

Questa lista è stata generata il Fri Sep 22 23:35:24 2017 CEST.