close
1.

図書

図書
sponsored by the Special Interest Group on Programming Languages, the Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  vi, 179 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
editors, Ki-Joune Li ... [et al.]
出版情報: New York : Association for Computing Machinery, c2000  vii, 200 p. ; 28cm
所蔵情報: loading…
3.

図書

図書
[sponsored by] ACM, in co-operation with ACM SIGDA ; co-sponsored by Northwestern University, Monterey Design Systems, Motorola Inc., Micrsoft, Intel
出版情報: New York : Association for Computing Machinery, c2000  xiv, 196 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
edited by Susan A. Mengel, Peter J. Knoke ; sponsored by IEEE Computer Society Technical Council on Software Engineering ; in cooperation with IEEE Computer Society TCSE Committee on Software Engineering Education, ACM ; supported by Software Engineering Institute, Carnegie Mellon University ... [et al.]
出版情報: Los Alamitos, California : IEEE Computer Society Press, c2000  xvi, 322 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
Keynote Address
Software Engineering - Coming of Age or Reaching Too Far? / James Bach, Consultant
Panel Session
Paper Session: University/Industry / D. Frailey (Chair) ; J. Bach ; D. Dorchester ; B. Carroll ; L. Tripp
A Report on Industrial Transfer of Software Engineering to the Classroom Environment / R. Vaughn, Jr.
Technology Transfer Issues for Formal Methods of Software Specification / K. Abernethy ; J. Kelly ; A. Sobel ; J. Kiper ; J. Powell
Achieving Organizational Training Objectives with Short Course Development / C. Smith
Lessons Learned from Teaching Software Engineering to Adult Students / J. Cusick
Invited Workshop
Guide to the Software Engineering Body of Knowledge Diffusion and Experimentation Strategy / R. Dupuis ; P. Bourque
Swebok and Program Accreditation / J. Engel
Swebok and the Software Engineering Education Project / R. LeBlanc
Production of Software Curriculum Modules / G. Hislop ; T. Hilburn
Teaching Formal Methods Early in the Software Engineering Curriculum / A. Sobel (Chair) ; H. Saiedian ; A. Stavely ; P. Henderson
Paper Session: Software Engineering Group Work
The Effects of "Pair-Pressure" and "Pair-Learning" on Software Engineering Education / L. Williams ; R. Kessler
A Survey on the Effectiveness of the Internet-Based Facilities in Software Engineering Education / G. Succi ; R. Spasojevic
Student Collaboration across Universities: A Case Study in Software Engineering / O. Brereton ; S. Lees ; R. Bedson ; C. Boldyreff ; S. Drummond ; P. Layzell ; L. Macaulay ; R. Young
The Development and Trial of SEGWorld: A Virtual Environment for Software Engineering Student Group Work
A Historian's View of Software Engineering / James E. Tomayko
Paper Session: Software Engineering Methods
Teaching Systems Analysis and Design Using Multimedia and Patterns / J. Cybulski ; T. Linden
Student-Run Usability Testing / N. Wahl
Experience Report: A Software Maintenance Project Course / J. Andrews ; H. Lutfiyya
A Case Study Approach to Teaching Component Based Software Engineering / A. Parrish ; B. Dixon ; D. Hale ; J. Hale
Paper Session: Management/Process
Teaching Software Project Management in Industrial and Academic Environments / J. McDonald
University/Industry Collaboration in Developing a Simulation Based Software Project Management Training Course / J. Collofello
The Personal Software Process in the Classroom: Student Reactions (an Experience Report) / S. Lisack
Mixing Project Management and Distance Education: A Case Study / D. Hanlon ; M. Spence ; P. Pfeiffer
Workshop
Workshop on Developing Graduate and Postgraduate Software Engineering Courses / H. Edwards ; J. Thompson
The University of Durham BSc in Software Engineering and Proposed MEng in Software Engineering: A Position Paper
Issues Affecting Graduate and Postgraduate Software Engineering Curricula / H. Ellis ; J. McKim ; H. Younessi
A Model-Oriented Programming Support Environment for Software Engineering Courses / C. Harrison ; M. Naeem
Graduate Software Engineering in Practice: First Industrial Contact / R. Manderson
Questions about Developing a Postgraduate Software Engineering Program / L. Thomas ; G. Isaacs
A Graduate Course in Software Engineering / L. Werner
Real-Time Computing in Software Engineering Education / A. Kornecki
Teaching Scientific Method for Real-Time Software Engineering / D. Dampier ; R. Wilson
Automatic Development Tools in Software Engineering Courses / J. Zalewski
Posters
A Software Engineering Course that Integrates Education and Research / M. Blom ; A. Brunstrom ; E. Nordby
Software Engineering Curriculum at the University of Deusto / R. Cortazar ; A. Barredo ; J. Luis Del Val
The Maintainability Gap / A. Dingle ; T. Hildebrandt
Formation of a Career-Oriented Curriculum in the University / K.-H. Huang
Domestic Control System STEM POS / M. Kamkar ; C. Cederberg ; J. Edvardsson
Interstel - A Seminar Model for Teaching Software Engineering / N. Kubilus
Software Engineering with Emphasis on Embedded System Design / H. Ma
Net-Centered Software Engineering Skills for the Next Millennium / A. Saad
The Implication of Different Thinking Styles on Software Engineering Education
Super: Towards a WWW-Enabled PBL Support Environment for Software Engineering Education / K. Vat
Change Management for Large Software Projects / P. Verma
Building a Next-Generation Infrastructure for Software Engineering Education Support / P. Yoon ; Y. Chen ; S. Sambasivam
Beyond Software and Beyond Engineering / Les Belady ; Executive Director ; Austin Software Council
Paper Session: Curriculum
A New Software Engineering Program -- Structure and Initial Experiences / P. Runeson
Standards-Based Software Engineering Student Textbook / E. Byrne
Did We Really Teach That?: A Glimpse of Things Students (Don't) Learn from Traditional CS1 / R. Duley ; P. Maj
A Proposed Curriculum for an Undergraduate Software Engineering Degree / M. McCracken ; I. Hsi ; H. Richter ; R. Waters ; L. Burkhart
Faculty Issues in Distance Education / G. Hislop (Chair) ; D. Bagert ; W. Doube ; J. Murtagh
Paper Session: Computer Science/Software Engineering
A Perspective on Three Cooperating Courses / S. Mengel ; L. Carter ; J. Falkenberg
Formal Methods: Mathematics, Computer Science, or Software Engineering? / G. Tremblay
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience / B. Demuth ; H. Hussmann ; S. Zschaler ; L. Schmitz
Learning Real-Time Programming Concepts through VxWorks Lab Experiments / D. Eyassu
Developing Undergraduate Software Engineering Programs / M. Sebern ; M. Lutz
Initiating an Undergraduate Program in Software Engineering / B. Carter
Undergraduate Software Engineering Degrees in Australia / D. Grant
A Combined Curriculum Research and Curriculum Development Approach to Software Engineering Education / B. Boehm ; G. Kaiser ; D. Port
Tutorial Session
Tutorial: Introduction to the Team Software Process / B. Cannon ; J. Diaz-Herrera
Influence of JAVA on Software Engineering Education / P. Knoke (Chair) ; J. Lewis ; A. Ortiz ; A. Teruel
Author Index
Foreword
Committees
Reviewers
5.

図書

図書
[sponsored by VLSI Society of India (VSI), Department of Electronics, Government of India ; in cooperation with Association for Computing Machinery, IEEE Circuits and Systems Society, Indian Statistical Institute ]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  xxxiv, 588 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chairs' Message
Program Co-Chairs' Message
Conference Committee
Steering Committee
Technical Program Committee
VLSI Design 1999 Fellowship Recipients
VLSI Design 1999 Conference Awards
VLSI Design 1999 Design Contest Winners
Conference History
Reviewers
Tutorials
Power Reduction Techniques for Portable DSP Applications / M. Mehendale ; S.D. SherlekarT1:
Theory and Applications of Cellular Automata for VLSI Design and Testing / P. Pal Chaudhuri ; D. Roy Chowdhury ; K. Paul ; B. SikdarT2:
Test Techniques and Trade-offs for Embedded Cores and Systems / R. Parekhji(b):
Computer-aided Design of RF Communication Systems: Techniques and Challenges / L. Nagel ; J. RoychowdhuryT3:
Analog Circuits for Wireless Communications / R. Harjani
New Validation and Test Problems for High Performance Deep Submicron VLSI Circuits / M. Breuer ; S. GuptaT4:
Core Based ASIC Design / F. Higgins ; S. BhawmikT5:
Partition, Packing and Clock Distribution--A New Paradigm of Physical Design / Y. Kajitani ; A. Takahashi ; K. R. Azegami ; S. NakatakeT6:
Low Power VLSI Signal Processing / K. Roy ; K. Muhammad
Industry Forum
Keynote Address: Computing and Communication in the New Millennium / Avtar Saini
Embedded Tutorial: Wire Technology Drivers for the New Millennium / A. R. Gupta
Embedded Tutorial: Semiconductors for Communications: Key Platform Technologies / M. V. Atre
Invited Talk: System-on-Chips/IP Technologies: Opportunities and Challenges / T. J. Chakraborty
Invited Talk: SONET IC Design: Overview and Case Studies / K. Mandal
Invited Talk: Wireless Market Evolution / M. Prakash
Thursday Plenary Talks
EDA--The Next Generation / Ajoy Bose
IP Reuse in System on a Chip Design / Raul Camposano
Papers
Low Power Design / Session 1A:
Invited Talk: Low Voltage Low Power CMOS Design Techniques for Deep Submicron ICs / L. Wei ; V.K. De
Low Power Realization of Residue Number System Based FIR filters / M.N. Mahesh
An Assertion Based Technique for Transistor Level Dynamic Power Estimation / S. Savithri ; R. Venkatesan ; S. Bhaskar
Relating Data Characteristics to Transition Activity in High-level Static CMOS Design / R. Henning ; C. Chakrabarti
A Low Power 900 MHz Register File (8 Ports, 32 Words x 64 Bits) in 1.8V, 0.25[mu]m SOI Technology / R.V. Joshi ; W. Hwang ; S. Wilson ; G. Shahidi ; C.T. Chuang
Embedded Tutorial: Energy Aware Software / A. Sinha ; A.P. Chandrakasan
Formal Verification / Session 1B:
Embedded Tutorial: Performance and Functional Verification of Microprocessors / P. Bose ; J.A. Abraham
Automatic Component Matching Using Forced Simulation / P.S. Roop ; A. Sowmya ; S. Ramesh
Status Condition Analysis During Data Path Verification of Sequential Circuits / D. Sarkar
Modelling VHDL in Multiclock Esterel / B. Rajan ; R.K. Shyamasundar
Formal Verification of Synthesized Mixed Signal Designs Using *BMDs / A. Ghosh ; R. Vemuri
Embedded Systems I / Session 1C:
Embedded Tutorial: Interface Synthesis: Issues and Approaches / A. Rajawat ; M. Balakrishnan ; A. Kumar
Processor Evaluation in an Embedded Systems Design Environment / T.V.K. Gupta ; P. Sharma ; S. Malik
Combining Background Memory Management and Regular Array Co-partitioning, Illustrated on a Full Motion Estimation Kernel / R. Schaffer ; R. Merker ; F. Catthoor
Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming / A. Shrivastava ; M. Kumar ; S. Kapoor ; S. Kumar
COWLS: Hardware-Software Co-synthesis of Distributed Wireless Low-power Embedded Client-server Systems / R.P. Dick ; N.K. Jha
Digital Imaging I / Session 2A:
Invited Talk: Challenges of Merging Digital Imaging and Wireless Communication / W. Metz ; T. Acharya
Design of an ASIC for Straight Line Detection in an Image / A.K. Majumdar ; N. Patel
Digital Imaging with Wireless Data Services / S. Sarkar
GF(2[superscript p]) CA Based Vector Quantization For Fast Encoding of Still Images / S.P. Chaudhuri ; R. Ghosal ; D.R. Choudhury
Scalable Pipelined Micro-Architecture for Wavelet Transform / D.R. Chowdhury ; P.P. Chaudhuri
Signal Integrity I / Session 2B:
Invited Talk: Interconnect Statistical Modeling: Structures and Measurement Methodologies / A. Doganis
Invited Talk: Design and Analysis of Power Distribution Networks with Accurate RLC Models / R. Chaudhry ; R. Panda ; D. Blauw ; T. Edwards
A Methodology for the Placement and Optimization of Decoupling Capacitators for Gigahertz Systems / J. Choi ; S. Chun ; N. Na ; M. Swaminathan ; L. Smith
Inductive Noise Reduction at the Architectural Level / M.D. Pant ; P. Pant ; D.S. Wills ; V. Tiwari
Estimation of Switching Noise on Power Supply Lines in Deep Sub-micron CMOS Circuits / S. Zhao
Testing I / Session 2C:
Embedded Tutorial: Manufacturing and Test Considerations in System-on-chip Designs / M. d'Abreu
Cost Trade-offs in System On Chip Designs / J. Khare ; H.T. Heineken
Manufacturability and Testability Oriented Synthesis / S.A. Shaikh
Maximizing Wafer Productivity through Layout Optimizations / C. Ouyang ; S. Shaikh
Hierarchical Test Generation for Systems on a Chip / R.S. Tupuri ; D.G. Saab
High-level Synthesis / Session 3A:
A Genetic Algorithm for the Synthesis of Structured Data Paths / C. Mandal ; R.M. Zimmer
A Technique for Dynamic High-level Exploration During Behavioral-partitioning for Multi-device Architectures / S. Govindarajan ; V. Srinivasan ; P. Lakshmikanthan
High-level Synthesis with Variable-latency Components / V. Raghunathan ; S. Ravi ; G. Lakshminarayana
CREAM: Combined Register and Module Assignment with Floorplanning for Low Power Datapath Synthesis / V.K. Srikantam ; N. Ranganathan ; S. Srinivasan
Design Partitioning on Single-chip Emulation Systems / A. Ejnioui
Delay-constrained Area Recovery via Layout-driven Buffer Optimization / R. Murgai
Layout and Floorplanning / Session 3B:
Routing on Switch Matrix Multi-FPGA Systems
A Transistor Level Placement Tool for Custom Cell Generation / R.K. Dash ; T. Pramod ; V. Vasudevan ; M. Ramakrishna
On the Transistor Sizing Problem / A. Das
Evaluation of Various Routing Architectures for Multi-FPGA Boards / S.C. Jain
A Fast Graph-based Alternative Wiring Scheme for Boolean Networks / Y-L. Wu ; W. Long ; H. Fan
Topological Routing amidst Polygonal Obstacles / S. Bhunia ; S. Majumder ; A. Sircar ; S. Sur-Kolay ; B.B. Bhattacharya
A Tight Area Upper Bound for Slicing Floorplans / H.P. Peixoto ; M.F. Jacome ; A. Royo
Testing II / Session 3C:
Embedded Tutorial: A New Definition and a New Class of Sequential Circuits with Combinational Test Generation Complexity / H. Fujiwara
Test Transformation to Improve Compaction by Statistical Encoding / H. Ichihara ; K. Kinoshita ; I. Pomeranz ; S.M. Reddy
Design for Strong Testability of RTL Data Paths to Provide Complete Fault Efficiency / H. Wada ; T. Masuzawa ; K.K. Saluja
Choice of Tests for Logic Verification and Equivalence Checking and the Use of Fault Simulation / V.D. Agrawal
Automatic Validation Test Generation Using Extracted Control Models / R. Sumners ; J. Bhadra ; J. Abraham
Banquet Address
DSP--The Real Time Technology for the New Millennium / John Scarisbrick
Friday Plenary Talk
Surviving the SOC Revolution: The Platform Approach to SOC Design / Grant Martin
Digital Imaging II / Session 4A:
A Fast Algorithm for Computing the Euler Number of an Image and its VLSI Implementation / S. Dey ; M.K. Kundu
Optimization of the One-dimensional Full Search Algorithm and Implementation Using an EPLD / R.T.N. Rajaram
A Single-chip Programmable Digital CMOS Imager with Enhanced Low-light Detection Capability / B. Pain ; G. Yang ; M. Ortiz ; K. McCarty ; B. Hancock ; J. Heynssens ; T. Cunningham ; C. Wrigley ; C. Ho
Design / Session 4B:
Architecture and Implementation of a High-Definition Video Co-processor for Digital Television Applications / S. Dutta ; D. Singh ; E. Abu-Ghoush ; V. Mehra
Specification and Design of a Quasi-delay-insensitive Java Card Microprocessor / F-C. Cheng ; C-R. Wang
Invited Talk: Trends in Communication Technology and Its Impact on Semiconductor / S. Das
Signal Integrity II / Session 4C:
Invited Talk: Capturing the Effect of Crosstalk on Delay / S.S. Sapatnekar
A Practical Approach to Crosstalk Noise Verification of Static CMOS Designs / N.S. Nagaraj ; F. Cano ; D. Young ; D. Vohra ; M. Das
Inductance Characterization of Small Interconnects Using Test-signal Method / J.T. Shah ; M.P. Desai ; S. Sanyal
Testing III / Session 5A:
Zero-Aliasing Space Compression Using a Single Periodic Output and its Application to Testing of Embedded Cores / A. Dmitriev ; M. Goessel
Testing Interconnects in a System Chip / C.P. Ravikumar ; S. Chopra
On Synchronizing Sequences and Unspecified Values in Output Responses of Synchronous Sequential Circuits
Resource-constrained Compaction of Sequential Circuit Test Sets / S.K. Bommu ; S.T. Chakradhar ; K.B. Doreswamy
Testing Flash Memories / M.G. Mohammad ; A. Yap
A Versatile BIST Technique Combining Test Registers and Accumulators / F. Mayer ; A.P. Stroele
Verification / Session 5B:
Dataflow Analysis for Resource Contention and Register Leakage Properties / S.K. Roy ; H. Iwashita ; T. Nakata
Retargetable Functional Simulator Using High Level Processor Models / S. Chandra ; R. Moona
State-machine Based Logic Simulation Using Three Logic Values / P.M. Maurer ; W.J. Schilp
Hierarchical Error Diagnosis Targeting RTL Circuits / V. Boppana ; I. Ghosh ; R. Mukherjee ; J. Jain ; M. Fujita
Fast Error Diagnosis for Combinational Verification / A. Gupta ; P. Ashar
Verification of a Combinational Loop Based Arbitration Scheme in a System-on-chip Integration Architecture / Y. Xia
Embedded Systems II / Session 5C:
Efficient Implementation of ADPCM Codec / A. Sharma
Simultaneous Module Selection and Scheduling for Power-constrained Testing of Core Based Systems / G. Chandra ; A. Verma
A Framework for Cost vs. Performance Tradeoffs in the Design of Digital Signal Processor Cores / K. Madathil ; J.C. Rao ; S. Chander ; A. Menon ; A.K Gautam ; A.M. Brahme ; H. Udayakumar
Analog / Mixed-signal Circuits / Session 6A:
Embedded Tutorial: SOI Digital Circuits: Design Issues / R. Puri
Jitter Estimation Methodology for Clock Chips / S.K. Maheshwari ; G.S. Visweswaran ; R.S. Krishanan
A 3.3V Compatible 2.5V TTL-to-CMOS Bidirectional I/O Buffer
Silicon Heterostructure Devices for RF Wireless Communication / B. Senapati ; C.K. Maiti ; N.B. Chakrabarti
Design of OTA Based Field Programmable Analog Array / B. Ray ; P.K. Nandi
Convergence Issues in Resonant Tunneling Diode Circuit Simulation
Synthesis and Timing Analysis / Session 6B:
Spectral Theory of Disjunctive Decomposition for Balanced Boolean Functions / B.J. Falkowski ; S. Kannurao
Synthesizable RAM--Alternative to Low Configuration Compiler Memory for Die Area Reduction / B. Suresh ; B. Chaterjee ; R. Harinath
Timing Analysis with Implicitly Specified False Paths / E. Goldberg ; A. Saldanha
Clock Selection for Performance Optimization of Control-flow Intensive Behaviors / K.S. Khouri
Performance Analysis of Systems with Multi-channel Communication Architectures / K. Lahiri ; A. Raghunathan
An ASIC for Cellular Automata Based Message Authentication / P. Dasgupta ; S. Chattopadhyay ; I. Sengupta
Testing IV / Session 6C:
Cellular Automata Based Deterministic Test Sequence Generator for Sequential Circuits
An Efficient Hierarchical Fault Isolation Technique for Mixed-signal Boards / S. Cherubal ; A. Chatterjee
Theory and Application of GF(2[superscript p]) Cellular Automata as On-chip Test Pattern Generator / B.K. Sikdar ; G.P. Biswas ; C. Yang ; S. Mukherjee
Application of GF(2[superscript p]) CA in Burst Error Correcting Codes
Built-in Self-test in Mixed-signal ICs: A DTMF Macrocell / G. Huertas ; D. Vazquez ; A. Rueda ; J.L. Huertas
A Mixed-signal BIST Scheme with Time-division Multiplexing (TDM) Comparator and Counters / J. Roh
VLSI Design 1999 Paper (late arrival)
Design of Synchronous Action Systems / J. Plosila ; T. Seceleanu
Author Index
VLSI Design 2001 Call for Papers
General Chairs' Message
Program Co-Chairs' Message
Conference Committee
6.

図書

図書
edited by Virginio Cantoni, Concettina Guerra ; sponsored by IEEE Computer Society Technical Committees on Pattern Analysis and Recognition, Parallell Processing and Cmputer Architecture ; in cooperation with ACM SIGARCH
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2000  xi, 364 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
sponsored by ACM SIGMOBILE ; in cooperation with ACM SIGCOMM and SIGMETRICS ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  xii, 300 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
Carlo Traverso, editor
出版情報: New York, N.Y. : ACM Press, c2000  viii, 309 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
editors, Arvin Agah ... [et al.] ; sponsored by the Association for Computing Machinery ... [et al.]
出版情報: New York : ACM Press, c2000  xvi, 532 p. ; 28 cm
所蔵情報: loading…
10.

雑誌

雑誌
sponsored by ACM SIGCOMM, in cooperation with USENIX
出版情報: New York : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼