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

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

8

Capitolo di libro E. Biglieri; De Martin J.C. (1995)
8 kbit/s LD-CELP Coding for Mobile Radio. In: Speech Recognition and Coding: New Advances and Trends / ANTONIO J. RUBIO AYUSO. Spinger, pp. 423-426. ISBN 9783540600985

A

Articolo in atti di convegno Cho H; Hachtel G. D; Macii E.; Poncino M; Ravi K; Somenzi F (1995)
Approximate Finite State Machine Traversal: Extensions and New Results. In: IWLS-95: ACM/IEEE 1995 International Workshop on Logic Synthesis, Lake Tahoe, CA.

Articolo in atti di convegno Gai S.; Rebaudengo M.; Sonza Reorda M. (1995)
A Data Parallel Algorithm for Boolean Function Manipulation. In: Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the, McLean, VA, USA, 6-9 Feb 1995. pp. 28-34
Scopus: 5

Articolo in atti di convegno Laface P.; C. Vair; L. Fissore (1995)
A Fast Segmental Viterbi Algorithm for Large Vocabulary Recognition. In: In Proc. of the Int. Conf. on Acoustic Speech and Signal Processing. pp. 560-563
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Sisto R. (1995)
A Method to Build Symbolic Representations of LOTOS Specifications. In: Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. pp. 331-346

Articolo in atti di convegno Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Enzo Veiluva (1995)
A PVM tool for automatic test generation on parallel and distributed systems. In: High-Performance Computing and Networking International Conference and Exhibition, Milan (ITA), May 3–5, 1995. pp. 39-44
Web of Science: 0 - Scopus: 2

Articolo di rivista Montuschi P.; Ciminiera L. (1995)
A Remark on `Reducing Iteration Time WhenResult Digit is Zero for Radix-2 SRT Division and Square Root with Redundant Remainders'. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-44 n. 1, pp. 144-146. - ISSN 0018-9340
Web of Science: 0 - Scopus: 0

Articolo di rivista Alovisio D; Cianchini S; Macii; Poncino M. (1995)
A Sequential Circuit Simulator Based on Hybrid Cellular Automata. In: SYSTEMS ANALYSIS, MODELLING, SIMULATION, pp. 245-253. - ISSN 0232-9298

Articolo di rivista Ajmone Marsan M., Bianco A., Ciminiera L., Sisto R., Valenzano A. (1995)
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems. In: RIVISTA DI INFORMATICA, vol. 25 n. 3, pp. 195-214. - ISSN 0390-668X

Articolo in atti di convegno Cerone V.; F. Della Croce (1995)
A continuous knapsack problem formulation for the robustness analysis of a polytope of polynomials. In: American Control Conference, Seattle, USA, June, 21-23. pp. 3856-3858
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno Cerone V. (1995)
A fast technique for the generation of the spectral set of a polytope of polynomials. In: European Control Conference, Rome, September, 5-8. pp. 3004-3008

Articolo di rivista R. Tadei; F. Della Croce; C. Alfieri; P. Baracco; F. Rizzante; M. Sbodio (1995)
A genetic algorithm for the crew rostering problem. In: RICERCA OPERATIVA, vol. 25 n. 76, pp. 37-48. - ISSN 0390-8127

Articolo di rivista F. Della Croce; R. Tadei; G. Volta (1995)
A genetic algorithm for the job shop problem. In: COMPUTERS & OPERATIONS RESEARCH, vol. 22 n. 1, pp. 15-24. - ISSN 0305-0548 [Disponibilità ristretta]
Web of Science: 87 - Scopus: 278
[img]

Articolo in atti di convegno Gai S., Rebaudengo M., Sonza Reorda M. (1995)
An improved data parallel algorithm for Boolean function manipulation using BDDs. In: Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on, Sanremo, Italia, 25-27 Jan 1995. pp. 33-39
Scopus: 3

Articolo in atti di convegno Morisio M. (1995)
A methodology to measure the software process. In: Annual Oregon Workshop on Software Metrics, June.

Articolo in atti di convegno Corno F.; Prinetto P.; Rebaudengo M.; Sonza Reorda M.; Veiluva E. (1995)
A portable ATPG tool for parallel and distributed systems. In: 13th IEEE VLSI Test Symposium (VTS'95), Princeton, NJ, USA, April 30 - May 03 1995. pp. 29-34
Scopus: 10

C

Articolo in atti di convegno Cena G., Durante L., Sisto R., Valenzano A. (1995)
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks. In: 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, AZ, USA, 28-31 March 1995. pp. 205-211
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cabodi G.; P. Camurati; S. Quer (1995)
Computing Subsets of Equivalence Classes for Large FSMs. In: IEEE EURO-DAC'95, Brighton (UK), September 18-22 1995. pp. 288-293
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Manne S; Pardo A; Bahar R. I; Hachtel G.D. Somenzi F; Macii E.; Poncino M (1995)
Computing the Maximum Power Cycles of a Sequential Circuit. In: DAC-32: ACM/IEEE Design Automation Conference, San Francisco, CA. pp. 23-28
Web of Science: 4 - Scopus: 15

D

Articolo in atti di convegno Ceri S.; Baralis E.; Fraternali P.; Paraboschi S. (1995)
Design of active rule applications: Issues and approaches. In: Deductive and Object-Oriented Databases 4th International Conference, DOOD '95, Singapore (SGP), December 4–7, 1995. pp. 1-18
Scopus: 6

E

Articolo in atti di convegno Macii E.; Poncino M (1995)
Estimating Worst-Case Power Consumption of Combinational Circuits Modeled as Neural Networks. In: GLS-VLSI-95: IEEE/ACM 5th Great Lakes Symposium on VLSI, Buffalo, NY. pp. 60-65
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno Lioy A.; Poncino M. (1995)
Exact Functional Redundancy Identification. In: IEEE Pacific Rim Conference on Communications, Computer and Signal Processing.
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno P.P. Delsanto; S. Biancotto; M. Scalerandi; M. Rebaudengo; M. Sonza Reorda (1995)
Exploiting massively parallel architectures for the solution of diffusion and propagation problems. In: High-Performance Computing and Networking International Conference and Exhibition, Milan (ITA), May 3-5, 1995. pp. 1-6
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cabodi G; P. Camurati; Quer S. (1995)
Extending Equivalence Class Computation to Large FSMs. In: ICCD'95: IEEE International Conference on Computer Design, Austin, October 2-4 1995. pp. 258-263
Web of Science: 0 - Scopus: 1

F

Articolo in atti di convegno Ajmone Marsan M; Casetti C; Munafo' M.; Valdes J (1995)
Fair Queueing in ATM Networks: A Simulation Study. In: Third Workshop on Performance Modelling and Evaluation of ATM Networks, Ilkley, U.K, July 1995.

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1995)
Formal Specification and Verification of the Real-time Scheduler in FIP. In: 1995 IEEE International Workshop on Factory Communication Systems, WFCS '95, Leysin, Switzerland, 4-6 October 1995. pp. 99-106
Scopus: 2

G

Articolo in atti di convegno Corno F.; Prinetto P.; Rebaudengo M.; Sonza Reorda M. (1995)
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits. In: European Design and Test Conference, 1995. ED&TC 1995, Proceedings., Paris, F, 6-9 Mar 1995. pp. 267-271
Web of Science: 23

H

Articolo in atti di convegno Baldi M.; Macii E.; Poncino M. (1995)
Hardware simulation: a flexible approach to verification and performance evaluation of communication protocols. In: IEEE 29th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA (USA), Oct. 30 1995-Nov. 1 1995. pp. 945-948 [Disponibilità ristretta]
[img]

I

Libro Farinetti L., Piccolo E. (1995)
Il manuale del laboratorio di informatica (per chi impara il linguaggio C). C.L.U.T, Torino, pp. 1-150.

Articolo in atti di convegno Baralis E.; Ceri S.; Paraboschi S. (1995)
Improved rule analysis by means of triggering and activation graphs. In: Rules in Database Systems 2nd International Workshop, RIDS '95, Glyfada, Athens (GRC), September 25–27, 1995. pp. 165-181
Scopus: 44

Articolo in atti di convegno F. Corno, U. Gläser, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, T. Vierhaus (1995)
Improving topological ATPG with symbolic techniques. In: IEEE VLSI Test Symposium. pp. 338-343
Scopus: 6

Articolo in atti di convegno Quer S.; Cabodi G.; Camurati P.; Lavagno L.; Sentovich E.M.; Brayton R.K. (1995)
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal. In: ACM/IEEE International Workshop on Logic Synthesis (IWLS 1995), Lake Tahoe, California, USA, May 1995. pp. 317-327 [Disponibilità ristretta]
[img]

Articolo in atti di convegno Mezzalama M.; F. Profumo; L. Pozzolo (1995)
Insegnamento a distanza presso il Politecnico di Torino: esperienze nell'ambito del Consorzio Nettuno. In: Terzo Convegno Universita` ed Evoluzione Tecnologie Informatiche, giugno.

Libro G. Cabodi; Quer S.; M. Sonza Reorda (1995)
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi. NON SPECIFICATO.

Articolo in atti di convegno Morisio M. (1995)
Issues in defining and applying a measurement plan to an object oriented process. In: 4th Software Quality Conference, July. pp. 118-132

L

Articolo di rivista Mario Baldi; Silvano Gai (1995)
LAN ATM: la nuova generazione. In: NETWORKING ITALIA, vol. 4, no. 11, pp. 9-16. - ISSN 1121-5267

Libro P. Dorato; C. Abdallah; Cerone V. (1995)
Linear Quadratic Control: an introduction. Prentice Hall, ENGLEWOOD CLIFFS NJ. ISBN 9780023299629

Libro P. Dorato; C. Abdallah; Cerone V. (1995)
Linear Quadratic Control: an introduction - Solutions manual. Prentice Hall, ENGLEWOOD CLIFFS NJ. ISBN 9780133565850

Articolo in atti di convegno Sanna A.; Montuschi P. (1995)
Location of Visual Sensors in Orthogonal Environments. In: Second IEEE Asian Conference on Computer Vision, Concorde Hotel, Singapore. III412-III416

M

Articolo di rivista Sisto R.; Valenzano A (1995)
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 44, pp. 1361-1370. - ISSN 0018-9340
Web of Science: 4 - Scopus: 7

Articolo in atti di convegno Morisio M.; L. Mosconi (1995)
Measuring Reuse in an Object Oriented Process. In: Software Engineering Applications 95, November.

Articolo in atti di convegno De Martin J.C.; A. Gersho (1995)
Mixed-Domain Coding and Interpolation of Voiced Speech. In: IEEE Workshop on Speech Coding for Telecommunications, Annapolis, MD, USA, September 1995. pp. 25-26

Articolo in atti di convegno Canale M.; S. Malan; M. Milanese (1995)
Model Quality Evaluation in Identification for Control. In: American Control Conference, Seattle (WA), USA.
Web of Science: 2 - Scopus: 3

Libro Bruno G. (1995)
Model-based software engineering. CHAPMAN & HALL, LONDRA. ISBN 9780412486708

Articolo di rivista Alovisio D; Cianchini S; Macii; Poncino M. (1995)
Modeling Sequential Circuits with Cellular Automata. In: INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, vol. 7, pp. 1415-1428. - ISSN 0020-7721
Web of Science: 0 - Scopus: 0

O

Articolo in atti di convegno Leonardi C.; Morisio M. (1995)
Object Oriented Methods for Quality and Reuse Improvement. In: Software Process Improvement 95, November.

Articolo in atti di convegno Manne S.; Pardo A.; Bahar I.; Macii E.; Poncino M.; Hachtel G.; Somenzi F. (1995)
On Computing the Maximum Power Cycles of a Sequential Circuit. In: DAC-32: 32nd Design Automation Conference.
Web of Science: 4 - Scopus: 15

Articolo in atti di convegno Sanna A.; Montuschi P. (1995)
On the Computation of Groups of Bounding Boxes for Fast Test of Objects Intersection. In: Fourteenth Annual IEEE International Phoenix Conference on Computer and Communic, Scottsdale, AZ. pp. 684-690
Web of Science: 0 - Scopus: 2

P

Articolo di rivista Cerone V. (1995)
Parameter bounds for a class of discrete bilinear systemsfrom records with bounded output errors. In: INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, vol. 9, pp. 63-70. - ISSN 0890-6327
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Macii E.; Poncino M. (1995)
Predicting the Complexity of Large Combinational Circuitsby Symbolic Spectral Analysis of Boolean Functions. In: Euro-DAC'95: European Design Automation Conference.
Web of Science: 0

Articolo in atti di convegno Macii E.; Poncino M (1995)
Predicting the Functional Complexity of Combinational Circuits by Symbolic Spectral Analysis of Boolean Functions. In: EuroDAC-95: IEEE 1995 European Design Automation Conference, Brighton, UK. pp. 294-299
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno Ajmone Marsan M; Casetti C.; Neri F (1995)
Pros and Cons of the Global Fairness Algorithms of CRMA-II. In: 7th IEEE Workshop on Local and Metropolitan Area Networks, Marathon, FL, USA, March 1995.

Articolo in atti di convegno Corno F.; Cusinato M.; Ferrero M.; Prinetto P. (1995)
Proving testing preorders for process algebra descriptions. In: ED&TC 1995: IEEE European Design and Test Conference, 1995, Paris (France), Mar 6-9, 1995. pp. 333-337
Web of Science: 0

Q

Articolo di rivista Montuschi P.; Ciminiera L. (1995)
Quotient Prediction without Prescaling. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 142 n. 1, pp. 15-22. - ISSN 1350-2387
Web of Science: 1 - Scopus: 0

R

Libro Corno F.; P. Prinetto (1995)
Reti Logiche (Raccolta di lucidi). Libreria Editrice Universitaria Levrotto & Bella, TORINO.

Articolo in atti di convegno Baralis E.; Ceri S.; Paraboschi S. (1995)
Run-time detection of non-terminating active rule systems. In: Deductive and Object-Oriented Databases 4th International Conference, DOOD '95, Singapore (SGP), December 4–7, 1995. pp. 38-54
Scopus: 9

S

Articolo in atti di convegno Costamagna M.; Morisio M.; Paschetta E.; Tsoukias A. (1995)
Software Selection and Quality Evaluation Process in the Telecommunications Industry. In: Airo 95, September. pp. 455-458

Articolo di rivista Sanna A.; Montuschi P. (1995)
Spatial Bounding of Complex CSG Objects. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 142 n. 6, pp. 431-439. - ISSN 1350-2387
Web of Science: 5 - Scopus: 4

Articolo di rivista Macii E; Poncino M. (1995)
Symbolic Representation and Manipulation of Large Neural Networks. In: INTERNATIONAL JOURNAL OF COMPUTERS AND THEIR APPLICATIONS, vol. 2, pp. 104-111. - ISSN 1076-5204

Articolo in atti di convegno Macii E.; Poncino M (1995)
Symbolic Representation and Manipulation of Large Neural Networks. In: IEEE 1995 International Conference on Computer Applications in Engineering and Medicine, Indianapolis, IN. pp. 112-116
Scopus: 1

T

Articolo in atti di convegno Macii E.; Poncino M (1995)
The Design of Easily Scalable Bus Arbiters with Different Dynamic Priority Assignment Schemes. In: IEEE 29th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA. pp. 211-213

Articolo in atti di convegno Ajmone Marsan M; Casetti C.; Favre M; Neri F (1995)
The Global Fairness Algorithms of the CRMA-II MAC Protocol. In: EFOC '95, Brighton, UK, 1995.
Web of Science: 0

Articolo di rivista Macii E; Poncino M. (1995)
The Impact of Cell Library Characteristics on Area, Speed, and Power Consumption of CMOS Circuits. In: INTERNATIONAL JOURNAL OF ELECTRONICS, vol. 78, pp. 395-407. - ISSN 0020-7217
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Lioy A.; Maino F.; Odasso G.; Poncino M. (1995)
Testing Hyperactive Faults in Asynchronous Circuits. In: IEEE Pacific Rim Conference on Communications, Computer and Signal Processing.
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Barbagallo S.;Corno F.;Prinetto P.;Sonza Reorda M. (1995)
Testing a Switching Memory in a Telecommunication System. In: ITC 1995 : IEEE International Test Conference, 1995, Washington DC (USA), Oct 21-25, 1995. pp. 947-956
Web of Science: 4 - Scopus: 4

Articolo in atti di convegno Cabodi G; Camurati P.; S. Quer (1995)
Transforming boolean relations by symbolic encoding. In: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main (DEU), October 2–4, 1995. pp. 161-170
Web of Science: 1 - Scopus: 1

Articolo di rivista Benedetto S; Olmo G.; Poggiolini P (1995)
Trellis Coded PolarizationShift Keying for Coherent Optical Communications. In: IEEE TRANSACTIONS ON COMMUNICATIONS, vol. 43, pp. 1591-1602. - ISSN 0090-6778
Web of Science: 10 - Scopus: 12

U

Articolo di rivista Macii E; Poncino M. (1995)
Using Connectivity and Spectral Methods to Characterize the Structure of Sequential Logic Circuits. In: MICROPROCESSING AND MICROPROGRAMMING, vol. 41, pp. 487-500. - ISSN 0165-6074
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Macii E.; Poncino M (1995)
Using Symbolic Rademacher-Walsh Spectral Transforms to Evaluate the Correlation between Boolean Functions. In: GLS-VLSI-95: IEEE/ACM 5th Great Lakes Symposium on VLSI, Buffalo, NY. pp. 112-116
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Baralis E.; Widom J. (1995)
Using delta relations to optimize condition evaluation in active databases. In: Rules in Databases systems 2nd International Workshop, RIDS '95, September 25-27, 1995, Glyfada, Athens (GRC). pp. 292-308
Scopus: 7

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M. (1995)
Using symbolic techniques to find the maximum clique in very large sparse graphs. In: European Design and Test Conference, 1995. ED&TC 1995.
Web of Science: 5 - Scopus: 7

Capitolo di libro Corno F.; Prinetto P.; Rebaudengo M.; Sonza Reorda M. (1995)
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico. In: Processori dedicati / Lanfranco Lopriore , Fabrizio Luccio , Maria Marinaro. Franco Angeli, Milano, pp. 39-43. ISBN 9788820494834

V

Articolo in atti di convegno Lang T.; Montuschi P. (1995)
Very High Radix Combined Division and Square Root with Prescaling and Selection by Rounding. In: IEEE 12th Symposium on Computer Arithmetic, Bath (UK), July 1995. pp. 124-131
Web of Science: 13 - Scopus: 15

Questa lista è stata generata il Tue Feb 20 22:49:07 2018 CET.