close
1.

図書

図書
International Symposium on Advances in Geographic Information Systems ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery , Red Hook, NY : Printed from e-media with permission by Curran Associates, c2006  250 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP ... [et al.]
出版情報: New York : Association for Computing Machinery, c2004  viii, 68 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
SIGAda (Conference) ; SIGAda ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery , Red Hook, NY : Printed from e-media with permission by Curran Associates, c2006  85 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
SIGGRAPH ; Association for Computing Machinery
出版情報: New York : ACM, 2007  1 v. (various pagings) ; 28 cm
シリーズ名: ACM transactions on graphics ; v. 26, no. 3
所蔵情報: loading…
5.

図書

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

雑誌

雑誌
sponsored by ACM SIGCOMM, in cooperation with USENIX
出版情報: New York : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
7.

雑誌

雑誌
sponsored by ACM SIGMOBILE
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
8.

雑誌

雑誌
ACM Symposium on Document Engineering ; Association for Computing Machinery
出版情報: New York : ACM Press  v. ; 28 cm
所蔵情報: loading…
9.

雑誌

雑誌
International Conference on Multimodal Interface ; Association for Computing Machinery ; SIGCHI (Group : U.S.) ; ACM SIGGRAPH Symposium on User Interface Software and Technology
出版情報: New York, N.Y. : Association for Computing Machinery, c2003-  v. ; 28 cm
巻次年月次: 5th (2003)-
所蔵情報: loading…
10.

雑誌

雑誌
International Conference on Embedded Networked Sensor Systems ; Association for Computing Machinery ; Association for Computing Machinery. Special Interest Group on Data Communications ; ACM SIGMOBILE ; ACM-Sigmetrics ; ACM Special Interest Group in Operating Systems ; SIGARCH
出版情報: New York, N.Y. : Association for Computing Machinery, c2003-  v. ; 28 cm
巻次年月次: 1st (2003)-
所蔵情報: loading…
11.

雑誌

雑誌
ICSOC ; Association for Computing Machinery
出版情報: New York : ACM Press  v. ; 28 cm
所蔵情報: loading…
12.

雑誌

雑誌
sponsored by ACM SIGSAC
出版情報: New York, N.Y. : Association for Computing Machinery, c2003-  v. ; 28 cm
巻次年月次: 3rd (2003)-
所蔵情報: loading…
13.

雑誌

雑誌
sponsored by ACM SIGSAC
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
14.

雑誌

雑誌
jointly sponsored by ACM SIGMOBILE and the USENIX Association, in cooperation with ACM SIGOPS
出版情報: Berkeley, Calif. : USENIX Association, 2003-  v. ; 28 cm
巻次年月次: 1st (May 5-8, 2003)-
所蔵情報: loading…
15.

雑誌

雑誌
Multimedia and Security Workshop ; Association for Computing Machinery ; ACM SIG Multimedia
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
16.

雑誌

雑誌
ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots ; Association for Computing Machinery ; ACM SIGMOBILE ; International Conference on Mobile Computing and Networking
出版情報: New York : ACM Press  v. ; 28 cm
所蔵情報: loading…
17.

雑誌

雑誌
ACM Workshop on Wireless Security ; Association for Computing Machinery ; ACM SIGMOBILE ; International Conference on Mobile Computing and Networking
出版情報: New York : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 2002 (2002)-
所蔵情報: loading…
18.

雑誌

雑誌
sponsored by ACM SIGMOBILE
出版情報: New York : ACM Press, 2004-  v. ; 28 cm
巻次年月次: 1st (2004)-
所蔵情報: loading…
19.

雑誌

雑誌
Association for Computing Machinery
出版情報: New York : ACM, c2002-  v. ; 28 cm
巻次年月次: 1st (2002)-
所蔵情報: loading…
20.

雑誌

雑誌
International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 1st (2002)-
所蔵情報: loading…
21.

雑誌

雑誌
Association for Computing Machinery
出版情報: New York, N.Y. : ACM Oeder Department, 2006-  v. ; 28 cm
巻次年月次: 2006 (2006)-
所蔵情報: loading…
22.

雑誌

雑誌
International Conference on Tangible and Embedded Interaction ; Association for Computing Machinery ; SIGGRAPH ; SIGCHI (Group : U.S.)
出版情報: New York, N.Y. : Association for Computing Machinery, 2007-  v. ; 28 cm
巻次年月次: 1st (2007)-
所蔵情報: loading…
23.

雑誌

雑誌
Symposium on Computer Human Interaction for management of Information Technology ; Association for Computing Machinery ; SIGCHI (Group : U.S.)
出版情報: New York, N.Y. : Association for Computing Machinery, 2007-  v. ; 28 cm
巻次年月次: 1st (2007)-
所蔵情報: loading…
24.

雑誌

雑誌
Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2000-  v. ; 28 cm
巻次年月次: Vol. 24, no. 1 (Feb. 2000)-
所蔵情報: loading…
25.

図書

図書
editors, Henrique Paques, Ling Liu, David Grossman ; sponsored by the Association for Computing Machinery, SIGIR and SIGMIS
出版情報: New York, N.Y. : ACM Order Department, c2001  xvii, 597 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
Association for Computing Machinery ; ACM SIGMOBILE ; Workshop on Wireless Security
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 98 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
International Workshop on Mobile Commerce ; Association for Computing Machinery ; ACM SIGMOBILE ; International Conference on Mobile Computing and Networking
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  viii, 107 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
sponsored by ACM & SIGCHI ; with additional support from the School of Design & the School of Computer Science at Carnegie Mellon University, Contemporary Trends Institute & MAYA Design
出版情報: New York : Association for Computing Machinery, c2003  x, 154 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
J.R. Sendra, editor
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  x, 273 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
International Conference on Software Engineering ; Association for Computing Machinery ; IEEE Computer Society
出版情報: New York : Association for Computing Machinery , Los Alamitos : IEEE Computer Society, c2003  xxiv, 833 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
sponsored by ACM Special Interest Group on Multimedia
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vii, 180 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
International Conference on Architectural Support for Programming Languages and Operating Systems ; Association for Computing Machinery ; SIGARCH ; ACM Special Interest Group in Operating Systems ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  ix, 271 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
Sponsored by IEEE
出版情報: Piscataway, NJ : IEEE , New York : Association for Computing Machinery, c2002  xxx, 798 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
sponsored by ACM ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vii, 148 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 138 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsored by ACM, SIGDA ; supported by Computer Science, State University of New York at Binghamton...[et al.]
出版情報: New York : Association for Computing Machinery, c2002  ix, 184 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
edited by Gary Marchinonini & William Hersh
出版情報: New York, N.Y. : ACM, c2002  xvi, 431 p. ; 28 cm
所蔵情報: loading…
38.

図書

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

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York, N.Y. : ACM, c2003  xiv, 234 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
Sponsored by IEEE ... [et al.]
出版情報: Piscataway, NJ : IEEE , New York : Association for Computing Machinery, c2003  xxx, 921 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
sponsored by IEEE Electron Device Society, IEEE Components, Packaging & Manufacturing Technology Society, Association for Computing Machinery, ACM Special Interest Group on Design Automation
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xxi, 457 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
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…
43.

図書

図書
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…
44.

図書

図書
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
45.

図書

図書
[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
46.

図書

図書
sponsored by ACM, ACM SIGDA, Purdue University, Department of Electrical and Computer Engineering, Intel Corporation
出版情報: New York : Association for Computing Machinery, c2001  xii, 152 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
[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…
48.

図書

図書
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…
49.

図書

図書
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…
50.

図書

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

図書

図書
sponsored by ACM SIGMOBILE ; in cooperation with ACM SIGCOMM and SIGMETRICS and the IEEE Communication Society ; with support from Alcatel (Platinum Plus Suppoter) ...[et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  356 p. ; 28 cm
所蔵情報: loading…
52.

図書

図書
Teo Mora, editor
出版情報: New York, N.Y. : ACM Press, c2002  xx, 276 p. ; 28 cm
所蔵情報: loading…
53.

図書

図書
sponsored by Association for Computing Machinery, ACM Sigsoft, IEEE Computer Society Technical Council on Software Engineering
出版情報: New York : ACM Press, c2002  xxiii, 744 p. ; 28 cm
所蔵情報: loading…
54.

図書

図書
[sponsored by VLSI Society of India (VSI), DOE, Government of India ; in cooperation with Association for Computing Machinery ...[et al.] ]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xxxvii, 541 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Message from the Program Chairs
Conference Committee
Steering Committee
VLSI Design 2000 Conference Awards
Reviewers
Conference History
Program Committee
Keynote Speakers
Tutorials
Optimization and Analysis Techniques for the Deep Submicron Regime / Noel Menezes ; Sachin Sapatnekar
Embedded Memories in System Design: Technology, Application, Design and Tools / Doris Keitel-Shulz ; Norbert When ; Francky Catthoor ; Preeti Ranjan Panda ; Nikil Dutt
Introduction to System C / Sudipta Bhawmik
Low-Power Mobile Wireless Communication System Design: Protocols, Architectures, and Design Methodologies / Anand Raghunathan ; Sujit Dey
IBM's Blue Logic Design Methodology-Circuits and Physical Design / Ruchira Kamdar ; Seetharam Gundurao ; R. V. Joshi ; N. S. Murty
Next Generation Network Processors / Deepak Kataria
Functional Verification of Programmable DSP Cores / Mahesh Mehendale ; Santhosh Kumar Amanna
System Level Testability Issues of Core Based System-on-a-Chip / V. Ranganathan ; R. Sundar
Tutorial: CMOS Analog Circuits for Wireless Communications / R. Harjani ; J. Harvey
Papers
Embedded Systems / Session 1A:
Integrating Communication Cost Estimation in Embedded Systems Design: A PCI Case Study / A. Rastogi ; M. Balakrishnan ; A. Kumar
Evaluation of the Traffic-Performance Characteristics of System-on-Chip Communication Architectures / K. Lahiri ; A. Raghunathan ; S. Dey
Performance Considerations in Embedded DSP Based System-on-a-Chip Designs / A. Gupte ; M. Mehendale ; R. Ramamritham ; D. Nair
Hardware Software Codesign of DSP System Using Grammar Based Approach / A. K. Deb ; A. Hemani ; J. Oberg ; A. Postula ; D. Lindqvist
A Systematic Approach for System Bus Load Reduction Applied to Medical Imaging / K. Danckaert ; C. Kulkarni ; F. Catthoor ; H. De Man ; V. Tiwari
Embedded Systems II / Session 1B:
Battery Life Estimation of Mobile Embedded Systems / D. Panigrahi ; C. Chiasserini ; R. Rao
Power-Aware Multimedia Systems Using Run-Time Prediction / P. Kumar ; M. Srivastava
Processor-Memory Co-Exploration Driven by a Memory-Aware Architecture Description Language / P. Mishra ; P. Grun ; N. Dutt ; A. Nicolau
ASIP Design Methodologies: Survey and Issues / M. K. Jain
SOC Methodologies / Session 1C:
ReDeEm_RTL: A Software Tool for Customizing Soft Cells for Embedded Applications / G. Surendra ; S. K. Nandy ; P. Sathya
The Hierarchical Concurrent Flow Graph Approach for Modeling and Analysis of Design Processes / V. Sahula ; C. P. Ravikumar
Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique / A. Datta ; S. Choudhury ; A. Basu ; H. Tomiyama
Error Diagnosis of Sequential Circuits Using Region-Based Model / A. L. D'Souza ; M. S. Hsiao
Test / Session 2A:
On Improving Static Test Compaction for Sequential Circuits / R. Guo ; I. Pomeranz ; S. M. Reddy
On Fault-Simulation through Embedded Memories on Large Industrial Designs / S. Yadavalli ; S. Kundu
A Novel Strategy to Test Core Based Designs / D. Bagchi ; D. R. Chowdhury ; J. Mukherjee ; S. Chattopadhyay
Testable Design of Sequential Circuits with Improved Fault Efficiency / D. K. Das ; B. B. Bhattacharya ; S. Ohtake ; H. Fujiwara
Combination of Structural and State Analysis for Partial Scan / S. Sharma
Test II / Session 2B:
Combinational Test Generation for Acyclic Sequential Circuits Using a Balanced ATPG Model / Y. C. Kim ; V. D. Agrawal ; K. K. Saluja
Synthesis of System-on-a-Chip for Testability / S. Ravi ; N. K. Jha
Timing Verification and Delay Test Generation for Hierarchical Designs / A. Krishnamachary ; J. A. Abraham ; R. S. Tupuri
A Graph Traversal Based Framework for Sequential Logic Implication with an Application to C-Cycle Redundancy Identification / J.-K. Zhao ; J. A. Newquist ; J. H. Patel
Verification / Session 2C:
Implementation of Read-k-times BDDs on Top of Standard BDD Packages / W. Gunther ; R. Drechsler
Application of Esterel for Modelling and Verification of Cache Protocol on CRF Memory Model / S. R. Phanse ; R. K. Shyamasundar
Design Verification and Functional Testing of Finite State Machines / M. W. Weiss ; S. C. Seth ; S. K. Mehta ; K. L. Einspahr
Design of Provably Correct Storage Arrays / W. Hwang ; A. Kuehlmann
Low-Power / Session 3A:
Invited Paper: Low-Power Wireless Sensor Networks / R. Min ; M. Bhardwaj ; S.-W. Cho ; E. Shih ; A. Sinha ; A. Wang ; A. Chandrakasan
Sub-Domino Logic: Ultra-Low Power Dynamic Sub-Threshold Digital Logic / H. Soeleman ; K. Roy ; B. Paul
Average Power in Digital CMOS Circuits using Least Square Estimation / A. K. Murugavel ; N. Ranganathan ; R. Chandramouli ; S. Chavali
Dynamic Voltage Scheduling Using Adaptive Filtering of Workload Traces / A. P. Chandrakasan
Optimal Assignment of High Threshold Voltage for Synthesizing Dual Threshold CMOS Circuits / N. Tripathi ; A. Bhosle ; D. Samanta ; A. Pal
Low-Power II / Session 3B:
Accurate Power Macro-Modeling Techniques for Complex RTL Circuits / N. R. Potlapally ; G. Lakshminarayana ; S. T. Chakradhar
Architecture of a Reconfigurable Low Power Gigabit ATM Switch / A. M. Lele
Formulation and Validation of an Energy Dissipation Model for the Clock Generation Circuitry and Distribution Networks / D. Duarte ; V. Narayanan ; M. J. Irwin ; M. Kandemir
Software Power Optimizations in an Embedded System / V. Dalal
Analog Design / Session 3C:
Library Binding for High-Level Synthesis of Analog Systems / S. Ganesan ; R. Vemuri
An Integrated Quadrature Mixer with Improved Image Rejection at Low Voltage
A Code Transition Delay Model for ADC Test / S. Mohan ; M. L. Bushnell
Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices / A. Demir ; D. Long ; J. Roychowdhury
FPGA / Session 4A:
Logic Synthesis for CPLDs and FPGAs with PLA-Style Logic Blocks / K. Yan
FPGA Hardware Synthesis from MATLAB / M. Haldar ; A. Nayak ; N. Shenoy ; A. Choudhary ; P. Banerjee
Efficient Synthesis of Array Intensive Computations onto FPGA Based Accelerators
Performance Driven Optimization for MUX Based FPGAs
Application Specific Macro Based Synthesis / S. Sundararaman ; S. Govindarajan
Physical Design / Session 4B:
Modeling of Nonuniform Interconnects by Using Differential Quadrature Method / Q. Xu ; P. Mazumder ; M. Bhattacharya
A Novel Algorithm for Multi-Node Bridge Analysis of Large VLSI Circuits / S. T. Zachariah ; S. Chakravarty
How to Half Wire Lengths in the Layout of Cyclic Shifters / M. A. Hillebrand ; T. Schurger ; P.-M. Seidel
Partitioning Routing Area into Zones with Distinct Pins / K. Sinha ; S. Sur-Kolay ; P. S. Dasgupta
Physical Design II / Session 4C:
Minimizing Area and Maximizing Porosity for Cell Layouts Using Innovative Routing Strategies / S. Sengupta ; S. Ramanathan ; B. Chatterjee ; D. Goswami
Transmission Line Modeling by Modified Method of Characteristics / Z.-F. Li
Crosstalk Noise Verification in Digital Designs with Interconnect Process Variations / Nagaraj NS ; P. Balsara ; C. Cantrell
Early Evaluation of Bus Interconnects Dependability for System-on-Chip Designs / M. Lajolo ; M. S. Reorda ; M. Violante
Built-In Test / Session 5A:
An Efficient Parallel Transparent BIST Method for Multiple Embedded Memory Buffers / D. C. Huang ; W. B. Jone ; S. R. Das
Observability Register Architecture for Efficient Production Test and Debug of VLSI Circuits / D. Bhavsar ; R. Tan
Efficient Signature-Based Fault Diagnosis Using Variable Size Windows / T. Clouqueur ; O. Ercevik ; H. Takahashi
A Parallel Built-In Self-Diagnostic Method for Embedded Memory Buffers
Hierarchical Cellular Automata As an On-Chip Test Pattern Generator / B. K. Sikdar ; P. Majumder ; M. Mukherjee ; N. Ganguly ; P. P. Chaudhuri
Synthesis / Session 5B:
High Level Synthesis of Multi-Precision Data Flow Graphs / V. Agrawal ; A. Pande ; M. M. Mehendale
Multilevel Logic Minimization Using Functional Don't Cares / L. Wang ; A. E. A. Almaini
Complexity of Minimum-Delay Gate Resizing / S. Chakraborty ; R. Murgai
Synthesis of Transparent Circuits for Hierarchical and System-on-a-Chip Test / K. Chakrabarty ; R. Mukherjee ; A. Exnicios
Architecture / Session 5C:
Scaling Up of Wave Pipelines / M. Fukase ; T. Sato ; R. Egawa ; T. Nakamura
VLSI Architectures for High-Speed MAP Decoders / A. Worm ; H. Lamm ; N. Wehn
Design of Multiple Attractor GF(2[superscript P]) Cellular Automata for Diagnosis of VLSI Circuits
Synthesizing a Long Latency Unit within VLIW Processor / R. L. Gupta ; A. Van Der Werf ; G. N. Busa
Technology / Session 6A:
Invited Paper: Extending Resolution Limits of IC Fabrication Technology: Demonstration by Device Fabrication and Circuit Performance / O. Nalamasu ; G. P. Watson ; R. A. Cirelli ; J. Bude ; I. C. Kizilyalli ; R. Kohler
FD-TLM Electromagnetic Field Simulation of High-Speed III-V Heterojunction Bipolar Transistor Digital Logic Gates / R. J. Lomax
Performance Optimization of 60 nm Channel Length Vertical MOSFETs Using Channel Engineering / G. Shrivastav ; S. Mahapatra ; V. Ramgopal Rao ; J. Vasi
Effect of Fringing Capacitances in Sub 100 nm MOSFET's with High-K Gate Dielectrics / N. R. Mohapatra ; A. Dutta ; M. P. Desai ; V. R. Rao
Technology II / Session 6B:
Degradation of NMOSFETs During High-Field Injection with Reverse Biased Voltage at Source and Drain Junctions / R. K. Jarwal ; D. Misra
High Frequency Behaviour of Electron Transport in Silicon and Its Implication for Drain Conductance of MOS Transistors / B. Prasad ; P. J. George ; C. Shekhar
An On-Chip Coupling Capacitance Measurement Technique / P. A. Nair ; A. Gupta
Spectral Algorithm to Compute and Synthesize Reduced Order Passive Models for Arbitrary RC Multiports / S. H. Batterywala ; H. Narayanan
Deep Sub-Micron / Session 6C:
Repeater Insertion to Minimise Delay in Coupled Interconnects / D. Pamunuwa ; H. Tenhunen
Integrated Crosstalk and Oxide Integrity Analysis in DSM Designs / N. V. Arvind ; P. R. Suresh ; V. Sivakumar ; C. Pal ; D. Das
Switching Noise Analysis Framework for High Speed Logic Families / M. Delaurenti ; M. Graziano ; G. Masera ; G. Piccinini ; M. Zamboni
Estimating Crosstalk from VLSI Layouts / V. S. Subramanian
Author Index
VLSI Design 2002 Call for Papers
5th IEEE VLSI Design and Test Workshops 2001 Call for Participation
General Chair's Message
Message from the Program Chairs
Conference Committee
55.

図書

図書
International Computing Education Research Workshop ; Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c2007  164 p. ; 28 cm
所蔵情報: loading…
56.

図書

図書
edited by Charled L.A. Clarke ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  xxxiii, 927 p. ; 30 cm
所蔵情報: loading…
57.

図書

図書
Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2007  527 p. ; 28 cm
所蔵情報: loading…
58.

図書

図書
edited by Timo Ojala and Mika Ylianttila
出版情報: New York : Association for Computing Machinery, c2007  178 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 284
所蔵情報: loading…
59.

図書

図書
ACM Symposium on Operating Systems Principles ; ACM Special Interest Group in Operating Systems ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  363 p. ; 28 cm
所蔵情報: loading…
60.

図書

図書
International Symposium on Low Power Electronics and Design ; ACM Special Interest Group on Design Automation ; IEEE Circuits and Systems Society ; IEEE Solid-State Circuits Society ; IEEE Electron Devices Society ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  367 p. ; 28 cm
所蔵情報: loading…
61.

図書

図書
Joint Conference on Digital Libraries ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  xvi, 474 p. ; 28 cm
所蔵情報: loading…
62.

図書

図書
Dynamic Languages Symposium ; Object-Oriented Programming Systems, Languages and Applications ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2007  103 p. ; 28 cm
所蔵情報: loading…
63.

図書

図書
sponsored by ACM SIGDA & IEEE Circuits and Systems Society ; with technical support from IEEE Solid-State Circuits Society and IEEE Electron Devices Society
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  xvi, 416 p. ; 28 cm
所蔵情報: loading…
64.

図書

図書
sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT & Ada Europe
出版情報: New York, N.Y. : ACM Press, c2005  viii, 115 p. ; 28 cm
所蔵情報: loading…
65.

図書

図書
edited by Michael E. Kuhl ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery , Piscataway, N.J. : IEEE, c2005  4 v. (xlii, 2717, 70 p.) ; 28 cm
所蔵情報: loading…
66.

図書

図書
ACM Workshop on XML Security ; Association for Computing Machinery ; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control ; ACM Conference on Computer and Communications Security
出版情報: New York, N.Y. : Association for Computing Machinery, c2004  vi, 121 p. ; 28 cm
所蔵情報: loading…
67.

図書

図書
sponsored by ACM SIGSAC ; with contributions from DARPA ; edited by Peng Liu and Partha Pal
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 121 p. ; 28 cm
所蔵情報: loading…
68.

コンピュータファイル

コンピュータファイル
International Computing Education Research Workshop ; Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, [2005]  1 CD-ROM ; 12 cm
所蔵情報: loading…
69.

図書

図書
ACM Symposium on Architectures for Networking and Communications Systems ; Association for Computing Machinery
出版情報: New York : ACM Press, 2005  viii, 221 p. ; 28 cm
所蔵情報: loading…
70.

図書

図書
International Workshop on Aspect-Oriented Modeling ; International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery
出版情報: New York : ACM Press, c2007  56 p. ; 28 cm
所蔵情報: loading…
71.

図書

図書
International Workshop on Interdisciplinary Software Engineering Research ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  68 p.
所蔵情報: loading…
72.

図書

図書
International Workshop on Summit on Software Engineering Education ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  36 p. ; 28 cm
所蔵情報: loading…
73.

図書

図書
Darina Dicheva, V. Paúl Paucam, and Jennifer Burg, editors
出版情報: New York : Association for Computing Machinery, c2007  [18], 559 p. ; 28 cm
所蔵情報: loading…
74.

図書

図書
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ; European Software Engineering Conference ; ACM SIGSOFT Symposium on the Foundations of Software Engineering ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2005  114 p. ; 28 cm
所蔵情報: loading…
75.

図書

図書
ACM Southeast Conference ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2005  2 v. ; 28 cm
所蔵情報: loading…
76.

図書

図書
ACM Southeast Conference ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2006  [22], 799 p. ; 28 cm
所蔵情報: loading…
77.

図書

図書
edited by B. Plimmer ; sponsors, The University of Canterbury, New Zealand Chapter of ACM SIGCHI
出版情報: New York, N.Y. : ACM Press, c2006  139 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 158
所蔵情報: loading…
78.

図書

図書
International Computing Education Research Workshop ; Association for Computing Machinery ; Association for Computing Machinery. Special Interest Group on Computer Science Education
出版情報: New York, N.Y. : ACM Press, c2006  134 p. ; 28 cm
所蔵情報: loading…
79.

図書

図書
edited by Beryl Plimmer and Robert Amor ; sponsores, The University of Auckland, New Zealand Chapter of ACM SIGCHI
出版情報: New York, N.Y. : ACM Press, c2005  100 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 158
所蔵情報: loading…
80.

図書

図書
International Workshop on Context in Advanced Interfaces ; AVI International Working Conference ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2006  55 p. ; 28 cm
所蔵情報: loading…
81.

図書

図書
Annual Conference of the Computer-Human Interaction Special Interest Group ; Kjeldskov, Jesper ; Paay, Jeni ; Association for Computing Machinery
出版情報: [New York] : Association for Computing machinery, [2006]  x, 436 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 206
所蔵情報: loading…
82.

図書

図書
ACM Workshop on Digital Identity Management ; ACM Conference on Computer and Communications Security ; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  vi, 114 p. ; 28 cm
所蔵情報: loading…
83.

図書

図書
International Workshop on Economics-Driven Software Engineering Research ; International Conference on Software Engineering ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2005  72 p. ; 28 cm
所蔵情報: loading…
84.

図書

図書
International Workshop on Economics-Driven Software Engineering Research ; International Conference on Software Engineering ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2006  52 p. ; 28 cm
所蔵情報: loading…
85.

図書

図書
Dynamic Languages Symposium ; Object-Oriented Programming Systems, Languages and Applications ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, [2005]  63 p. ; 28 cm
所蔵情報: loading…
86.

図書

図書
International Conference on Information Interaction in Context ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2006  179 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 176
所蔵情報: loading…
87.

図書

図書
workshop chairs, Bruno Schulze ...[et al.]
出版情報: New York, NY : ACM Press, c2006  103 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 194
所蔵情報: loading…
88.

図書

図書
doctoral symposium chair, Karen Henricksen ; sponsor, BBN Technolgies
出版情報: New York : ACM Press, c2006  36 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 185
所蔵情報: loading…
89.

図書

図書
International Conference on Mobile and Ubiquitous Multimedia ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2006  76 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 193
所蔵情報: loading…
90.

図書

図書
ACM Symposium on Operating Systems Principles ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2005  290 p. ; 28 cm
所蔵情報: loading…
91.

図書

図書
Christian W. Probst ... [et al.]
出版情報: New York : Association for Computing Machinery, c2006  61 p. ; 28 cm
所蔵情報: loading…
92.

図書

図書
editors, Jonathan I. Maletic ... [et al.] ; sponsored by ACM, SIGSOFT, SIGART
出版情報: New York, NY : Association for Computing Machinery, c2005  79 p. ; 28 cm
所蔵情報: loading…
93.

図書

図書
ACM Workshop on Adaptivity, Personalization and the Semantic Web ; ACM Conference on Hypertext and Hypermedia ; Association for Computing Machinery ; SIGWEB
出版情報: New York, NY : Association for Computing Machinery, c2006  45 p. ; 28 cm
所蔵情報: loading…
94.

図書

図書
International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2006  58 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 198
所蔵情報: loading…
95.

図書

図書
editors, Eric Wohlstadter and Charles Zhang
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  70 p. ; 28 cm
所蔵情報: loading…
96.

図書

図書
organizers, Carnegie Mellon CyLab, CMU Usable Privacy and Security Laboratory
出版情報: New York, NY : ACM Press, c2006  155 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 149
所蔵情報: loading…
97.

図書

図書
edited by Susan Dumais ... [et al.]
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  xxii, 744 p. ; 28 cm
シリーズ名: SIGIR forum ; special issue
所蔵情報: loading…
98.

図書

図書
sponsored by ACM and IEEE
出版情報: New York, N.Y. : Association for Computing Machinery, c2004  xii, 452 p. ; 28 cm
所蔵情報: loading…
99.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York : Association for Computing Machinery, c2005  xx, 336 p. ; 28 cm
所蔵情報: loading…
100.

図書

図書
Bernard Mourrain, editor
出版情報: New York, N.Y. : ACM Press, c2001  xii, 352 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼