Verification methodology manual Techniques for Verifying HDL Designs

Verification methodology manual Techniques for Verifying HDL Designs

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Dempster, David (Συγγραφέας), Stuart, Michael (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Hampshire Teamwork International 2001
Θέματα:	Τεχνική αναφορά

Παρόμοια τεκμήρια

Verification methodology manual Techniques for verifying HDL designs
ανά: Dempster, David, κ.ά.
Έκδοση: (2002)

Electronic shops'Engineering methodology. CTI Technical Report TR 2000/04/02
Έκδοση: (2000)

Groups of Fragments Allocation Methodology [C.T.I. Technical Reports] TR. 89.06.87
ανά: Κατσιαφλιάνη, Βασιλική, κ.ά.
Έκδοση: (1989)

On verifying game designs and playing strategies usinng reinforcement learning. CTI Technical Report TR 2000/08/01
Έκδοση: (2000)

Training Greek project managers in the use of methodologies C.T.I. Technical Report TR 92.06.11
ανά: Δήμος, Γ., κ.ά.
Έκδοση: (1992)

An applicable methodology to automate software quality measurements C.T.I. Technical Report TR 94.08.42
ανά: Ξένος, Μιχάλης, κ.ά.
Έκδοση: (1994)

ULTIVOX: An integrated methodology for developing Workflow applications. Technical Report CTI 97.11.40, 1.0
ανά: Καπαρος, Γεώργιος, κ.ά.
Έκδοση: (1997)

Risk management and analysis methodology on systems engineering life cycle. CTI Technical Report TR 200/01/02
Έκδοση: (2000)

Manual for the Program Locality STL C.T.I. Technical Reports TR. 87.08.23
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1987)

Results and experience from the application of a common methodology for Users Reguirements Specification in Distance Education using Telematics. [C.T.I. Technical Reports] TR. 96.10.36
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1996)

Efficient decision tree induction with set-valued attributes.CTI Technical Report 99/03/01
Έκδοση: (1999)

A real-time auction system over the WWW CTI Technical Report 99.03.01
Έκδοση: (1999)

A new algorith for the transversal hypergraph problem. CTI TR 99/03/03
Έκδοση: (1999)

Measuring user's perception and opinion of software quality. CTI TR 99/03/04
Έκδοση: (1999)

A note on linear programs in (γ,κ)-form. CTI Technical Report 99/04/01
Έκδοση: (1999)

Fast parallel approximations to positive linear programs with a small number of constraint violations. CTI Technical Report 99/04/02
Έκδοση: (1999)

On the generation of spatiotemporal datasets. CTI Technical Report 99/04/03
Έκδοση: (1999)

(poly(loglogn), poly(loglogn))-restricted verifiers are unlikely to exist for languages in NP C.T.I. Technical Report TR. 96.1.2 C.T.I. Technical Report TR, 96.3.7
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (1996)

FPGA implementation of a Protocol Decoder - LCD Driver for a Remotely Controlled Display System [Technical Report] CTI TR 95.10.33
ανά: Αθανασίου, Λεωνίδας, κ.ά.
Έκδοση: (1995)

A Fast Spatiotemporal Technique for Adaptive Beamforming C.T.I. Technical Reports TR. 96.6.17
ανά: Μουστακίδης, Γεώργιος, κ.ά.
Έκδοση: (1996)

Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02
ανά: ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ, κ.ά.
Έκδοση: (2002)

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

Efficient Distributed Information Retrieval Techniques with the Vector Space Model. C.T.I. Technical Report TR. 97.3.16
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1997)

State Space Partition Modelling. A New Approximation Technique [C.T.I. Technical Reports] TR 88.09.56
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1988)

Coloring Random Graphs Efficiently in Parallel, through Adaptive Techniques. [C.T.I.] Technical Report TR 90.10.25
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1990)

Hammock-on-Ears Decomposition: A Technique for Parallel and On-line Path Problems C.T.I. Technical Report TR 93.05.22
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

Designing the PELICAN-System C.T.I. Technical Report TR 94.02.7
ανά: Αυγερίδης, Κ., κ.ά.
Έκδοση: (1994)

Diminished - 1 Modulo 2n + 1 Adder Design Technical Report TR 2001/02/02
ανά: Βέργος, Χαρίδημος Θ., κ.ά.
Έκδοση: (2001)

Design of a Forest Fire Management System C.T.I. Technical Report TR 92.03.5
ανά: Δεδούση, Ειρήνη, κ.ά.
Έκδοση: (1992)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
ανά: Καμέας, Αχιλλέας, κ.ά.
Έκδοση: (1993)

Efficient Fault Tolerant Cache Memory Design C.T.I. Technical Report TR 94.12.59
ανά: Βέργος, Χαρίδημος Θ., κ.ά.
Έκδοση: (1994)

Exploring the Cache Design Space in a Multithreaded Processor [Technical Report] CTI tr 95.10.34
ανά: Λιούπης, Δημήτρης, κ.ά.
Έκδοση: (1995)

Software Design Languages:an Evaluation of Current Status [C.T.I.] Technical Reports TR. 87.05.06
ανά: Κάλλιστρος, Βασίλειος, κ.ά.
Έκδοση: (1987)

Prototype Environment for Teaching Program Design by Exercises [C.T.I.] Technical Report TR. 89.02.75
ανά: Comar, Cyrille, κ.ά.
Έκδοση: (1989)

Using Attribute Grammars as a Specification and Design Tool [C.T.I.] Technical Reports TR. 87.05.05
ανά: Καρούσου, Βίκυ, κ.ά.
Έκδοση: (1987)

Design Proposal for a Language Independent Programming Environment C.T.I. Technical Report TR 88.02.45
ανά: Πιντέλας, Παναγιώτης Ε., κ.ά.
Έκδοση: (1988)

Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06
ανά: Keulen van, E., κ.ά.
Έκδοση: (1991)

Design principles for the implementation and functional integration of regional healthcare virtual private networks CTI Technical Report 2001/12/01
ανά: Λάμψας, Π., κ.ά.
Έκδοση: (2001)

The SCAN Generator, a Tool for Sequential Image Preprocessing-Design and Implementation C.T.I. Technical Report TR 92.05.10
ανά: Αλεξόπουλος, Χρήστος, κ.ά.
Έκδοση: (1992)

Programming to Explore Geometrical and Physics.Concepts: Learning Processes and Microworld Design C.T.I. Technical Report TR 94.06.35
ανά: Γεωργιάδης, Παναγιώτης, κ.ά.
Έκδοση: (1994)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_i8vdgkf30sl1i0l8kiji7bqt42