close
1.

図書

図書
Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xvi, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2451
所蔵情報: loading…
2.

図書

図書
editors, Tang Ting-Ao ... [et al.] ; sponsored by Chinese Institute of Electronics ... [et al.]
出版情報: Shanghai : People's Posts & Telecommunications Pub. House, [2001]  24, 887, viii p. ; 30 cm
所蔵情報: loading…
3.

図書

図書
Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.)
出版情報: Berlin : Springer, c2001  xi, 670 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2178
所蔵情報: loading…
4.

図書

図書
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
Tiziana Margaria, Tom Melham (eds.)
出版情報: Berlin : Springer, c2001  xii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2144
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
View from the Fringe of the Fringe (Extended Summary) / Steven D. Johnson
Hardware Synthesis Using SAFL and Application to Processor Design (Invited Talk) / Alan Mycroft ; Richard Sharp
FMCAD 2000
Applications of Hierarchical Verification in Model Checking / Robert Beers ; Rajnish Ghughal ; Mark Aagaard
Model Checking 1
Pruning Techniques for the SAT-Based Bounded Model Checking Problem / Ofer Shtrichman
Heuristics for Hierarchical Partitioning with Application to Model Checking / M. Oliver Möller ; Rajeev Alur
Short Papers 1
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs / Dirk Beyer
Deriving Real-Time Programs from Duration Calculus Specifications / François Siewe ; Dang Van Hung
Reproducing Synchronization Bugs with Model Checking / Karen Yorav ; Sagi Katz ; Ron Kiper
Formally-Based Design Evaluation / Kenneth J. Turner ; Ji He
Clocking Issues
MulticlockEsterel / Gérard Berry ; Ellen Sentovich
Register Transformations with Multiple ClockDomains / Alvin R. Albrecht ; Alan J. Hu
Temporal Properties of Self-Timed Rings / Anthony Winstanley ; Mark Greenstreet
Short Papers 2
Coverability Analysis Using Symbolic Model Checking / Gil Ratzaby ; Shmuel Ur ; Yaron Wolfsthal
Specifying Hardware Timing with ET-Lotos
Formal Pipeline Design / TiberiuSeceleanu ; Juha Plosila
Verification of Basic BlockSchedules Using RTL Transformations / Rajesh Radhakrishnan ; Elena Teica ; Ranga Vemuri
Joint Session with TPHOLs
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking / K.L. McMillan
Proof Engineering in the Large: Formal Verification of Pentiumr 4 Floating-Point Divider / Roope Kaivola ; Katherine Kohatsu
Hardware Compilation
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques / Steve McKeever ; Wayne Luk
A Higher-Level Language for Hardware Synthesis
Tools
Hierarchical Verification Using an MDG-HOL Hybrid Tool / Iskander Kort ; Sofiene Tahar ; Paul Curzon
Exploiting Transition Locality in Automatic Verification / Enrico Tronci ; Giuseppe Della Penna ; Benedetto Intrigila ; Marisa Venturini Zilli
Efficient Debugging in a Formal Verification Environment / Fady Copty ; Amitai Irron ; Osnat Weissberg ; Nathan Kropp ; Gila Kamhi
Model Checking 2
Using Combinatorial Optimization Methods for Quantification Scheduling / P.Chauhan ; E. Clarke ; S. Jha ; J. Kukula ; H. Veith ; D. Wang
Net Reductions for LTL Model-Checking / Javier Esparza ; Claus Schröter
Component Verification
Formal Verification of the VAMP Floating Point Unit / Christoph Berg ; Christian Jacobi
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel ItaniumTM Processor Bus Protocol / Kanna Shimizu ; David L. Dill ; Ching-Tsun Chou
The Design and Verification of a Sorter Core / Koen Claessen ; Mary Sheeran ; Satnam Singh
Case Studies
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip / Xiaohua Kong ; Radu Negulescu ; Larry Weidong Ying
Using Abstract Specifications to Verify PowerPCTM Custom Memories by Symbolic Trajectory Evaluation / Jayanta Bhadra ; Andrew Martin ; Jacob Abraham ; Magdy Abadir
Algorithm Verification
Formal Verification of Conflict Detection Algorithms / Ricky Butler ; VÆictor Carreño ; Gilles Dowek ; César Muñoz
Induction-Oriented Formal Verification in Symmetric Interconnection Networks / Eric Gascard ; Laurence Pierre
A Frameworkfor Microprocessor Correctness Statements / Mark D. Aagaard ; Byron Cook ; Nancy A. Day ; Robert B. Jones
Duration Calculus
From Operational Semantics to Denotational Semantics for Verilog / ZhuHuibiao ; Jonathan P. Bowen ; He Jifeng
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming / Li Xuandong ; Pei Yu ; Zhao Jianhua ; Li Yong ; Zheng Tao ; Zheng Guoliang
Author Index
Invited Contributions
View from the Fringe of the Fringe (Extended Summary) / Steven D. Johnson
Hardware Synthesis Using SAFL and Application to Processor Design (Invited Talk) / Alan Mycroft ; Richard Sharp
6.

図書

図書
sponsored by ACM SIGDA ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery , Piscataway, N.J. : IEEE, c2005  xxxiii, 950 p. ; 29 cm
所蔵情報: loading…
7.

図書

図書
edited by Carlos Delgado Kloos, Abelardo Pardo
出版情報: Boston : Kluwer Academic Publishers, 2004  xvi, 227 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 151
所蔵情報: loading…
目次情報: 続きを見る
Ambient Schooling
Enhanced Learning Design Language
Implications of Learning Technology Standardization in Electronic Design
Requirements for Computer-Aided Learning
Educational Tools for Industrial Communication Networks Design
Mobile Learning Services
Virtual Environment for Distance Learning
E-Learning Engineering
Impact of Technology on Learning Paradigms and Teaching Practices
Ambient Schooling
Enhanced Learning Design Language
Implications of Learning Technology Standardization in Electronic Design
8.

図書

図書
sponsored by IEEE Circuits & Systems Society ... [et al.]
出版情報: Piscataway, N.J. : IEEE, c2005  xxx, 1082, 5 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
[vidpovidalʹnyĭ za vypusk V.M. Tesli︠u︡k]
出版情報: Lviv : Publishing House of Lviv Polytechnic National University, c2003  586 p. ; 30 cm
所蔵情報: loading…
10.

図書

図書
supported by Information and Computer Science Department, KFUPM, SA ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 208 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Conference Organization
Geometrical Modeling / Session GMAG03_1_1:
A Role for 3D Modeling in Controlling Webcams and Interpreting Real Time Video / J. Counsell ; S. Smith ; S. Aldrich
Geometric Correction of Scanned Topographic Maps Using Capable Input Information / T. Miyoshi ; W. Li ; K. Kaneda ; H. Yamashita ; E. Nakamae
Combination of Automatic and Interactive Tools for Solution Space Browsing / C. Essert-Villard ; P. Schreck ; P. Mathis ; J.-F. Dufourd
Web-Based System Using Trade Knowledge / N. Gardan ; Y. Gardan
GMAG-Applications I / Session GMAG03_1_2:
Offline Arabic Text Recognition System / M. Sarfraz ; S. Nawaz ; A. Al-Khuraidly
Saudi Arabian License Plate Recognition System / M. Ahmed ; S. Ghazi
Normalisation and Exploration Design Method of Islamic Geometric Patterns / A. Aljamali ; E. Banissi
Data Organization for Broadcasting in Mobile Computing / P. Sumari ; R. Darus ; H. Kamarulhaili
Geometric Modeling II / Session GMAG03_2_1:
Generating Well Behaved Meshes for Parameterized Surfaces / M. Randrianarivony ; G. Brunnett
Generating Blending Surfaces with an Iterative Solution to Fourth Order PDE / L. You ; J. Zhang
Accurate Silhouettes--Do Polyhedral Models Suffice? / C. Heunen
Reconstruction of a 3D Solid Model from Orthographic Projections / Z. Wang ; M. Latif
GMAG - Algorithms / Session GMAG03_2_2:
Extensible Point Location Algorithm / R. Sundareswara ; P. Schrater
Geometric Design and Space Planning Using the Marching Squares and Marching Cube Algorithms / C. Maple
A Neural Approach for Solving the Constraint Satisfaction Problem / S. Hamissi ; M. Babes
Curve Design / Session GMAG03_2_3:
Message Recovery Signature Scheme Using Complementary Elliptic Curves / T. Yew ; H. Haili
Performance and Accuracy Improvements in Algorithms for Centre, Axes-Aligned Ellipse / M. Golipour
Family of G[superscript 2] Cubic Transition Curves / Z. Habib ; M. Sakai
Improvement in Decimation of Triangle Meshes for Level of Detail / K.-W. Ng ; Y.-P. Wong ; S.-N. Ho
GMAG-Applications II / Session GMAG03_2_4:
An Unified Framework to Solve the Broad and Narrow Phases of the Collision Detection Problem in Virtual Prototype Environments / M. Figueiredo ; T. Fernando
A Fast and Memory-Efficient Method for LOD Modeling of Polygonal Models / M. Hussain ; Y. Okada ; K. Niijima
Proposition of Two Evolutionist Approaches - Genetic Algorithm and Neural Network - To Solve CSP / N. Siyahia
Mobile Agent System Architecture for Supporting Mobile Market Application Service in Mobile Computing Environment / P. Kim ; Y. Noh
Curves and Surfaces Design II / Session GMAG03_3_1:
An Obstacle-Avoiding Minimum Variation B-Spline Problem / T. Berglund ; H. Jonsson ; I. Soderkvist
A Linear Complexity Algorithm for the Bernstein Basis / J. Delgado ; J. Pena
Visual and Complexity Analysis of the Extended Loop Subdivision Scheme / N. Tack ; G. Lafruit ; R. Lauwereins
Synthetic Modeling System Architecture / F. Danesi ; E. Perrin
Bump Map Generation from 3D Scan Data / S. Oh ; K. Lee
Computer Aided Applications / Session GMAG03_3_2:
FreeSculptor: A Computer-Aided Freeform Design Environment / K.-C. Wu ; H. Tawfik
Computer Aided Ferret Design / S. Siu ; S. Mann
Research on Digitizing Processing of the Terracotta Warriors and Horses of the Qin Dynasty / J. Wang ; M. He ; B. Xiong ; Y. Zhang ; Z. Hui ; L. Li
Author Index
Preface
Acknowledgements
Conference Organization
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼