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: 85 - Scopus: 276
[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 Aimar R.; Indri M.; Stomboli T.; Bona B. (1995)
Experiments on Robust Friction Compensation: the Inverted Pendulum Case. In: 1995 American Control Conference (ACC 95). pp. 3303-3305
Web of Science: 1 - Scopus: 3

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 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

Articolo di rivista Bona B.; Indri M. (1995)
Friction Compensation and Robustness Issues in Force/Position Controlled Manipulators. In: IEE PROCEEDINGS. CONTROL THEORY AND APPLICATIONS, vol. 142 (6), pp. 569-574. - ISSN 1350-2379
Web of Science: 2 - Scopus: 6

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: 22

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

Articolo in atti di convegno Bona B; Carabelli S; Delprete C.; Genta G; Tonoli A (1995)
Il laboratorio interdipartimentale di meccatronica del Politecnico di Torino. In: XXXIX Conv. Annuale ANIPLA Automazione '95, Valenzano (BA), I, 8-10 Novembre 1995, Valenzano (BA). pp. 259-264

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 Carabelli S; Greco C.; Mannino F (1995)
MatDSP: a DSP-based Matlab toolbox for rapid prototyping of digital control systems. In: Workshop on algorithms and architecture in real-time control, AARTC ‘95, Ostend, 1995.

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 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 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

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: 4 - 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: 14

Questa lista è stata generata il Wed Nov 22 00:20:37 2017 CET.