close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Bernard Mourrain, editor
出版情報: New York, N.Y. : ACM Press, c2001  xii, 352 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
ACM/IEEE-CS Joint Conference on Digital Libraries ; Association for Computing Machinery ; IEEE Computer Society
出版情報: New York, N.Y. : ACM, c2001  xviii, 490 p. ; 28 cm
所蔵情報: loading…
11.

図書

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

図書

図書
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, c2004  xiv, 258 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Bioinformatics ; in cooperation with ACM ; with support from the Hewlett-Packard Company and the U.S. Department of Energy
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xviii, 665 p. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Organizing Committee
Program Committee
Referees
Keynote Addresses
Stepping up the Pace of Discovery: The Genomes to Life Program / M. Frazier ; D. Thomassen ; A. Patrinos ; G. Johnson ; C. Oliver ; E. Uberbacher
The Role of Algorithmic Research in Computational Genomics / R. Karp
Invited Speakers
High Performance Computational Biology--Past Progress and Future Promise / P. Bourne
Bridging Paradigm Gaps between Biology and Engineering / J. Bruck
Microbial Functional Genomics: Pulling Together a Variety of Approaches and Concepts / J.-M. Claverie
The Sea Urchin Endomesoderm Gene Regulatory Network, an Encoded Logic Map for Early Development / E. Davidson
Epitope Prediction Algorithms for Peptide-Based Vaccine Design / L. Florea ; B. Halldorsson ; O. Kohlbacher ; R. Schwartz ; S. Hoffman ; S. Istrail
Pathway Bioinformatics / P. Karp
BPPS: An Algorithm for Analyzing Protein Sequence Alignments / J. Liu
Eulerian Path Methods for Multiple Sequence Alignment / M. Waterman ; Y. Zhang
Integrating Bioinformatics Advances into Disease Management Systems to Improve Quality of Care / S. Wong
Genomes to Life
Computing for the DOE Genomes to Life Program
Motifs and Modules in Cellular Signal Processing: Applications to Microbial Stress Response Pathways / A. Arkin
An Overview of the Sandia National Laboratories Genomes to Life Project, "Carbon Sequestration in Synechococcus Sp.: From Molecular Machines to Hierarchical Modeling" / G. Heffelfinger
Analysis of the Genetic Potential and Gene Expression of Microbial Communities Involved in the In Situ Bioremediation of Uranium and Harvesting Electrical Energy from Organic Matter / D. Lovley
Microarray Data Analysis
Clustering Binary Fingerprint Vectors with Missing Values for DNA Array Data Analysis / A. Figueroa ; J. Borneman ; T. Jiang
Clustering Time-Varying Gene Expression Profiles Using Scale-Space Signals / T. Syeda-Mahmood
Fast and Sensitive Probe Selection for DNA Chips Using Jumps in Matching Statistics / S. Rahmann
Fast and Accurate Probe Selection Algorithm for Large Genomes / W.-K. Sung ; W.-H. Lee
Degenerate Primer Design via Clustering / X. Wei ; D. Kuhn ; G. Narasimhan
Group Testing with DNA Chips: Generating Designs and Decoding Experiments / A. Schliep ; D. Torney
Pathways, Networks, and Systems Biology
Can We Identify Cellular Pathways Implicated in Cancer Using Gene Expression Data? / N. Shah ; J. Lepre ; Y. Tu ; G. Stolovitzky
Combining Microarrays and Biological Knowledge for Estimating Gene Networks via Bayesian Networks / S. Imoto ; T. Higuchi ; T. Goto ; K. Tashiro ; S. Kuhara ; S. Miyano
Two Operative Concepts for the Post-Genomic Era: The "Memoire Vive" of the Cell and a Molecular Algebra / S. Bentolila
Biomedical Research and Visualization
Stochastic Stage-Structured Modeling of the Adaptive Immune System / D. Chao ; M. Davenport ; S. Forrest ; A. Perelson
A Personalized and Automated dbSNP Surveillance System / S. Liu ; S. Lin ; M. Woon ; T. Klein ; R. Altman
Fourier Harmonic Approach for Visualizing Temporal Patterns of Gene Expression Data / L. Zhang ; A. Zhang ; M. Ramanathan
Towards Index-Based Similarity Search for Protein Structure Databases / O. Camoglu ; T. Kahveci ; A. Singh
Local Similarity in RNA Secondary Structures / M. Hochsmann ; T. Toller ; R. Giegerich ; S. Kurtz
CTSS: A Robust and Efficient Method for Protein Structure Alignment Based on Local Geometrical and Biological Features / T. Can ; Y.-F. Wang
Statistical and Visual Morph Movie Analysis of Crystallographic Mutant Selection Bias in Protein Mutation Resource Data / W. Krebs
Statistical Inference for Well-Ordered Structures in Nucleotide Sequences / S.-Y. Le ; J.-H. Chen ; J. Maizel, Jr.
Automated Protein NMR Resonance Assignments / X. Wan ; D. Xu ; C. Slupsky ; G. Lin
3D Structural Homology Detection via Unassigned Residual Dipolar Couplings / C. Langmead ; B. Donald
Data Mining
Discovering Compact and Highly Discriminative Features or Feature Combinations of Drug Activities Using Support Vector Machines / H. Yu ; J. Yang ; W. Wang ; J. Han
Initial Large-Scale Exploration of Protein-Protein Interactions in Human Brain / J. Chen ; A. Sivachenko ; R. Bell ; C. Kurschner ; I. Ota ; S. Sahasrabudhe
An SVM-Based Algorithm for Identification of Photosynthesis-Specific Genome Features / G.-X. Yu ; G. Ostrouchov ; A. Geist ; N. Samatova
Experimental Studies of the Universal Chemical Key (UCK) Algorithm on the NCI Database of Chemical Compounds / R. Grossman ; D. Hamelberg ; P. Kasturi ; B. Liu
A Probabilistic Model for Identifying Protein Names and Their Name Boundaries / K. Seki ; J. Mostafa
Pattern Recognition
cWINNOWER Algorithm for Finding Fuzzy DNA Motifs / S. Liang
LOGOS: A Modular Bayesian Model for de novo Motif Detection / E. Xing ; W. Wu ; M. Jordan
SMASHing Regulatory Sites in DNA by Human-Mouse Sequence Comparisons / M. Zavolan ; N. Rajewsky ; N. Socci ; T. Gaasterlamd
A Block Coding Method that Leads to Significantly Lower Entropy Values for the Proteins and Coding Sections of Haemophilus influenzae / G. Sampath
A Pattern Matching Algorithm for Codon Optimization and CpG Motif-Engineering in DNA Expression Vectors / R. Satya ; A. Mukherjee ; U. Ranga
Haplotype Motifs: An Algorithmic Approach to Locating Evolutionarily Conserved Patterns in Haploid Sequences
Sequence Alignment
Computing Highly Specific and Mismatch Tolerant Oligomers Efficiently / T. Yamada ; S. Morishita
ANTICLUSTAL: Multiple Sequence Alignment by Antipole Clustering and Linear Approximate 1-Median Computation / C. Di Pietro ; V. Di Pietro ; G. Emmanuele ; A. Ferro ; T. Maugeri ; E. Modica ; G. Pigola ; A. Pulvirenti ; M. Purrello ; M. Ragusa ; M. Scalia ; D. Shasha ; S. Travali ; V. Zimmitti
Efficient Constrained Multiple Sequence Alignment with Performance Guarantee / F. Chin ; N. Ho ; T. Lam ; P. Wong ; M. Chan
A New Similarity Measure among Protein Sequences / K.-P. Wu ; H.-N. Lin ; T.-Y. Sung ; W.-L. Hsu
A New Approach for Gene Annotation Using Unambiguous Sequence Joining / A. Tchourbanov ; D. Quest ; H. Ali ; M. Pauley ; R. Norgren
Efficient Reconstruction of Phylogenetic Networks with Constrained Recombination / D. Gusfield ; S. Eddhu ; C. Langley
Prokaryote Phylogeny without Sequence Alignment: From Avoidance Signature to Composition Distance / B. Hao ; J. Qi
Poster Papers
Data Integration
A Semantic Mediation Approach for Problems in Computational Molecular Biology / M. Chagoyen ; M. Kurul ; P. De-Alarcon ; S. Santini ; B. Ludascher ; J. Carazo ; A. Gupta
A Query Language to Support Scientific Discovery / B. Eckman ; K. Deutsch ; M. Janer ; Z. Lacroix ; L. Raschid
Application of Singular Value Decomposition and Functional Clustering to Analyzing Gene Expression Profiles of Renal Cell Carcinoma / Z.-H. Duan ; L. Liou ; T. Shi ; J. Di Donato
Statistical Resynchronization and Detection of Periodic Transcripts / X. Lu ; W. Zhang ; Z. Qin
A Method for Tight Clustering: With Application to Microarray / G. Tseng ; W. Wong
Riptide: Fast Protein Identification from Mass Spectrometer Data / R. Carter
Accelerating the Drug Design Process through Parallel Inductive Logic Programming Data Mining / J. Graham ; C. Page ; A. Kamal
Estimating Recombination Rate Distribution by Optimal Quantization / M. Song ; S. Boissinot ; R. Haralick ; I. Phillips
Statistical Issues in the Analysis of the Array CGH Data / J. Fridlyand ; A. Snijders ; D. Pinkel ; D. Albertson ; A. Jain
Identification of Contaminants in Proteomics Mass Spectrometry Data / M. Duncan ; K. Fung ; H. Wang ; C. Yen ; K. Cios
A Flexible Pipeline for Experimental Design, Processing, and Analysis of Microarray Data / S. Osborn ; S. Kennedy ; D. Chin
A Computational Approach to Reconstructing Gene Regulatory Networks / X. Deng
Probability Profiles--Novel Approach in Tandem Mass Spectrometry De Novo Sequencing / T. Fridman ; R. Day ; J. Razumovskaya ; A. Gorin
A Symbolic Logic Strategy for Mapping Biological Concepts in the HERBE Prototype / E. Stephan ; G. Chin, Jr. ; K. Klicker ; A. Corrigan ; H. Sofia
A Computational Method for Assessing Peptide-Identification Reliability in Tandem Mass Spectrometry Analysis with SEQUEST / V. Olman ; N. Verbermoes ; Y. Xu
Functional Genomics
Tomato Expression Database (TED)--An Interactive Management Tool for Tomato Expression Profiling Data / Z. Fei ; X. Tang ; R. Alba ; P. Payton ; J. Giovannoni
Oncogenetics Tree Models--An Estimation / H. Gill
The GeneCards Family of Databases: GeneCards, GeneLoc, GeneNote and GeneAnnot / M. Safran ; V. Chalifa-Caspi ; O. Shmueli ; N. Rosen ; H. Benjamin-Rodrig ; R. Ophir ; I. Yanai ; M. Shmoish ; D. Lancet
Wavelet Transforms for the Analysis of Microarray Experiments / T. Tokuyasu
MageBuilder: A Schema Translation Tool for Generating MAGE-ML from Tabular Microarray Data / W. Martin ; R. Horton
OptiRNAi, A Web-Based Program to Select siRNA Sequences / W. Cui ; J. Ning ; U. Naik
A Rule-Based Framework for Gene Regulation Pathways Discovery / B. Wilczynski ; T. Hvidsten ; A. Kryshtafovych ; L. Stubbs ; J. Komorowski ; K. Fidelis
Gene Function, Metabolic Pathways and Comparative Genomics in Yeast / Q. Dong ; R. Balakrishnan ; G. Binkley ; K. Christie ; M. Costanzo ; K. Dolinski ; S. Dwight ; S. Engel ; D. Fisk ; J. Hirschman ; E. Hong ; R. Nash ; L. Issel-Tarver ; A. Sethuraman ; C. Theesfeld ; S. Weng ; D. Botstein ; J. Cherry
Using Rule Induction Methods to Analyze Gene Expression Data / G. Li ; X. Li ; L. Hao ; J. Zhou
Genomic Annotation
Computational Prediction of DtxR Regulon--A Dissection of Physiological Process Controlled by DtxR in Corynebacterium Species / S. Yellaboina ; P. Chakhaiyar ; S. Hasnain ; A. Ranjan
A New Approach to Gene Prediction Using the Self-Organizing Map / S. Mahony ; T. Smith ; J. McInerney ; A. Golden
On Gene Prediction by Cross-Species Comparative Sequence Analysis / R. Chen
CUBIC: Identification of Regulatory Binding Sites through Data Clustering
Genotyping and SNPs
SNP Analysis System for Detecting Complex Disease Associated Sites / Y. Higashi ; H. Higuchi ; T. Kido ; H. Matsumine ; M. Baba ; T. Morimoto ; M. Muramatsu
Haplotype Pattern Mining and Classification for Detecting Disease Associated Site
Molecular Simulation
What Makes IgG Binding Domain of Protein L Fold up to Native State: A Simulation Study with Physical Oriented Energy Functions Coupled to Topology Induced Terms / S. Lee ; Y. Fujitsuka ; S. Takada ; D. Kim
New Computational Methods for Electrostatics in Macromolecular Simulation / I. Tsukerman
The Approximate Algorithm for Analysis of the Strand Separation Transition in Superhelical DNA Using Nearest Neighbor Energetics / C. Bi ; C. Benham
Substrate Recognition by Enzymes: A Theoretical Study / K. Ueno-Noto ; K. Takano ; M. Hara-Yokoyama
Computational Simulation of Lipid Bilayer Reorientation at Gaps / P. Kasson ; V. Pande
Phylogeny and Evolution
Search for Evolution-Related-Oligonucleotides and Conservative Words in rRNA Sequences / L. Luo ; L.-C. Hsieh ; F. Ji ; M. Jia ; H. Lee
High Speed GAML-Based Phylogenetic Tree Reconstruction Using HW/SW Codesign / T. Mak ; K. Lam
Evidence for Growth of Microbial Genomes by Short Segmental Duplications / H.-C. Lee
PTC: An Interactive Tool for Phylogenetic Tree Construction / C. Yang ; S. Khuri
Iterative Rank Based Methods for Clustering / S. Perrey ; H. Brinck ; A. Zielesny
Analysis of Phylogenetic Profiles Using Bayesian Decomposition / G. Bidaut ; K. Suhre ; M. Ochs
Automatic Recognition of Regions of Intrinsically Poor Multiple Alignment Using Machine Learning / Y. Shan ; E. Milios ; A. Roger ; C. Blouin ; E. Susko
Reconstruction of Ancestral Gene Order after Segmental Duplication and Gene Loss / J. Huan ; J. Prins ; T. Vision
Reconstruction of Ancient Operons from Complete Microbial Genome Sequences / Y. Wang ; J. Rose ; B.-C. Wang ; D. Lin
Predictive Methods
An Evolutionary Approach to Finding Schemas for 3-Class Protein Secondary Structure Prediction / H. Huang
Gene Selection for Multi-Class Prediction of Microarray Data / D. Chen ; D. Hua ; J. Reifman ; X. Cheng
Latent Structure Models for the Analysis of Gene Expression Data / A. Youssef
Molecular Evaluation Using Comparative Molecular Interaction Profile Analysis System / Y. Hayashi ; K. Sakaguchi ; N. Iwata ; M. Kobayashi
Probe Design for Large-Scale Molecular Biology Applications / V. VanBuren ; T. Yoshikawa ; T. Hamatani ; M. Ko
Gene Selection for Cancer Classification Using Bootstrapped Genetic Algorithms and Support Vector Machines / X.-w. Chen
A Statistical Model of Proteolytic Digestion / I.-J. Wang ; C. Diehl ; F. Pineda
Preliminary Wavelet Analysis of Genomic Sequences / C. Moore ; J. Nelson
Using Easel for Modeling and Simulating the Interactions of Cells in order to Better Understand the Basics of Biological Processes and to Predict Their Likely Behaviors / V. Stojkovic ; G. Steele ; W. Lupton
Fold Recognition Using Sequence Fingerprints of Protein Local Substructures
An Iterative Loop Matching Approach to the Prediction of RNA Secondary Structures with Pseudoknots / J. Ruan ; G. Stormo
A New Method for Predicting RNA Secondary Structure / H. Taira ; T. Izumitani ; E. Maeda ; T. Suzuki
Minimum Redundancy Feature Selection from Microarray Gene Expression Data / C. Ding ; H. Peng
Sequence Comparison
Automatic Parameter Selection for Sequence Similarity Search / G. Livingston ; G. Grinstein
A Linear Programming Based Algorithm for Multiple Sequence Alignments / F. Hunt ; A. Kearsley ; A. O'Gallagher
Alignment-Free Sequence Comparison with Vector Quantization and Hidden Markov Models / T. Pham
Prediction of Protein Function Using Signal Processing of Biochemical Properties / K. Gopalakrishnan ; K. Najarian
Genomic Sequence Analysis Using Gap Sequences and Pattern Filtering / S.-C. Su ; C. Yeh ; C.-C. Kuo
An Optimal DNA Segmentation Based on the MDL Principle / W. Szpankowski ; W. Ren ; L. Szpankowski
The Cybertory Sequence File System for Managing Large DNA Sequences / C. McMillin
Implementing Parallel Hmm-pfam on the EARTH Multithreaded Architecture / W. Zhu ; Y. Niu ; J. Lu ; G. Gao
Genome on Demand: Interactive Substring Searching
CoMRI: A Compressed Multi-Resolution Index Structure for Sequence Similarity Queries / H. Sun ; O. Ozturk ; H. Ferhatosmanoglu
Strings, Graphs, and Algorithms
Genetic Algorithm Approach to the Closest String Problem / H. Mauch ; M. Melzer ; J. Hu
GenericBioMatch: A Novel Generic Pattern Match Algorithm for Biological Sequences / Y. Pan ; A. Famili
Aligning ESTs to Genome Using Multi-Layer Unique Makers / F. Hsu
A Parallel Genetic Algorithm for Physical Mapping of Chromosomes / S. Bhandarkar ; J. Huang ; J. Arnold
RCIS: A Common Interval Searching Algorithm for Amino Acid Sequences / X. Huang
Algorithms for Bounded-Error Correlation of High Dimensional Data in Microarray Experiments / M. Koyuturk ; A. Grama
Exact and Heuristic Algorithms for the DNA Fragment Assembly Problem / Y. Jing
Finding Higher Order Motifs under the Levenshtein Measure / E. Adebiyi ; T. Dipe
Mapping Discontinuous Antibody Epitopes to Reveal Protein Structure and Changes in Structure Related to Function / B. Mumey ; T. Angel ; B. Kirkpatrick ; B. Bailey ; P. Hargrave ; A. Jesaitis ; E. Dratz
The SCP and Compressed Domain Analysis of Biological Sequences / D. Adjeroh ; J. Feng
Identifying Regulatory Signals in DNA-Sequences with a Non-Statistical Approximation Approach / C.-Q. Zhang ; Y. Liu ; E. Eschen ; K. Wu
A Genetic Algorithm for Simplifying the Amino Acid Alphabet / M. Palensky
Structural Biology
Spectral Decomposition of the Laplacian Matrix Applied to RNA Folding Predition / D. Barash
Identification of Non-Random Patterns in Structural and Mutational Data: The Case of Prion Protein / I. Kuznetsov ; S. Rackovsky
Multiple Protein Structure Alignment by Deterministic Annealing / L. Chen
An Exact Algorithm for Determining Protein Backbone Structure from NH Residual Dipolar Couplings / L. Wang ; R. Mettu ; R. Lilien
Automatic Construction of 3D Structural Motifs for Protein Function Prediction / M. Liang ; D. Brutlag
Local Minima-Based Exploration for Off-Lattice Protein Folding / E. Santos ; K. Kim
Systems Biology
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction / C. Talcott ; S. Eker ; M. Knapp ; P. Lincoln ; K. Laderoute
Development of a Massively-Parallel, Biological Circuit Simulator / R. Schiek ; E. May
Representing and Reasoning about Signal Networks: An Illustration Using NF[kappa]B Dependent Signaling Pathways / C. Baral ; K. Chancellor ; N. Tran
Noise - Attenuation in Artificial Genetic Networks / Y. Morishita ; K. Aihara
Computational Inference of Regulatory Pathways in Microbes: An Application to Phosphorus Assimilation Pathways in Synechococcus WH8102 / Z. Su ; P. Dam ; X. Chen ; B. Palenik
Text Mining and Ontologies
A Contradiction-Based Framework for Testing Gene Regulation Hypotheses / S. Racunas ; N. Fedoroff
Identifying Gene and Protein Names from Biological Texts / W. Xuan ; S. Watson ; H. Akil ; F. Meng
Refining the Extraction of Relevant Documents from Biomedical Literature to Create a Corpus for Pathway Text Mining / R. Harte ; Y. Lu ; D. Dehoney
Using Natural Language Processing and the Gene Ontology to Populate a Structured Pathway Database
Text Pattern Visalization for Analysis of Biology Full Text and Captions / A. Grimes ; R. Futrelle
Miscellaneous
Development and Assessment of Bioinformatics Tools for Species Conservation and Habitat Management and Habitat Management / M. Sutton ; L. Deneke ; J. Eme ; W. Bennett ; F. Wray
MedfoLink: Bridging the Gap between IT and the Medical Community / J. Gerrein ; A. Kherlopian ; V. Wu ; M. Berman ; A. Wald
TC-DB: An Architecture for Membrane Transport Protein Analysis / C. Tran ; N. Yang ; M. Saier, Jr.
Author Index
Preface
Organizing Committee
Program Committee
14.

図書

図書
Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  xii, 493 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
ACM International Conference on Multimedia ; Association for Computing Machinery ; ACM SIG Multimedia
出版情報: New York, N.Y. : Association for Computing Machinery, 2008  82 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
International Workshop on Systems Development in SOA Environments ; International Conference on Software Engineering ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  80 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
ACM Workshop on Story Representation, Mechanism, and Context ; Association for Computing Machinery ; ACM SIG Multimedia
出版情報: New York : Association for Computing Machinery, c2008  63 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
ACM Euro American Conference on Telematics and Information Systems ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  269 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
International Conference on Autonomic Computing ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  56 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
International Conference on Autonomic Computing ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  76 p. ; 28 cm
所蔵情報: loading…
21.

図書

図書
International Conference on Autonomic Computing ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  104 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
ACM Euro American Conference on Telematics and Information Systems ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  198 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
International Conference on Advances in Computing, Communication and Control ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  702 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
Workshop on Virtualized Infrastructure Systems and Architectures ; Parulkar, Guru ; Westphal, Cedric ; Association for Computing Machinery. Special Interest Group on Data Communications ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  104 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
Workshop on Networking, Systems and Applications for Mobile Handhelds ; Association for Computing Machinery. Special Interest Group on Data Communications ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  80 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
editors, Jesper Kjeldskov, Jeni Paay and Stephen Viller
出版情報: New York : Association for Computing Machinery, c2009  432 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 206
所蔵情報: loading…
27.

図書

図書
ACM Workshop on Digital Identity Management ; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  84 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
International Workshop on Aspect-Oriented Modeling ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  41 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
International Conference on Aspect-Oriented Software Development ; Early Aspects Workshop ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  45 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
International Conference on Aspect-Oriented Software Development ; Practices of Linking Aspect Technology and Evolution Workshop ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  27 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
International Conference on Aspect-Oriented Software Development ; Domain-Specific Aspect Language Workshop ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  24 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  47 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
International Conference on Aspect-Oriented Software Development ; Workshop on Foundations of Aspect-Oriented Languages ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  35 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
Workshop on Re-Architecting the Internet ; International Conference on Emerging Networking Experiments and Technologies ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  78p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
International Conference on Software Engineering ; Early Aspects Workshop ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  41 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
International Workshop on Graph and Model Transformations ; ACM Sigsoft ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  52 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
editors, Rei Safavi-Naini ...[et al.]
出版情報: New York, NY : Associations for Computing Machinery, c2009  391 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
Association for Computing Machinery ; International Universal Communications Symposium
出版情報: New York : Association for Computing Machinery, c2009  xxii, 419 p. ; 28 cm
シリーズ名: ACM international conference proceedings series
所蔵情報: loading…
39.

図書

図書
International Conference on Autonomic Computing ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  64 cm ; 28 cm
所蔵情報: loading…
40.

図書

図書
International Conference on Autonomic Computing (6th : 2009 : Barcelona, Spain) ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  ix, 187 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
International Conference on Autonomic Computing ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  40 cm ; 28 cm
所蔵情報: loading…
42.

図書

図書
International Conference on Autonomic Computing ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  74 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
sponsored by ACM SIGSAC
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  vi, 92 p. ; 28 cm
所蔵情報: loading…
44.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
[organized by Barbara Barry, Kevin Brooks] ; sponsored by the ACM Special Interest Groups SIGMM & SIGGRAPH
出版情報: New York, NY : ACM Press, 2004  vi, 86 p. ; 28 cm
所蔵情報: loading…
60.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
International Conference on Advances in Computer Entertainment Technology ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2006  [21], 530 p. ; 28 cm
所蔵情報: loading…
66.

図書

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

図書

図書
International Conference on Software Engineering ; Association for Computing Machinery
出版情報: New York : The Association for Computing Machinery, c2005  xviii, 738 p. ; 28 cm
所蔵情報: loading…
68.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
International Workshop on Use of P2P, Grid and Agents for the Development of Content Networks ; SIGARCH ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  74 p. ; 28 cm
所蔵情報: loading…
77.

図書

図書
ACM Bangalore Annual Conference ; ACM Sigsoft ; SIGWEB ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  136 p. ; 28 cm
所蔵情報: loading…
78.

図書

図書
International Conference NZ Chapter of ACM's Special Interest Group on Human-Computer Interaction ; Marshall, Stuart ; Masoodian, Masood ; Victoria University of Wellington ; ACM SIGCHI-NZ ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  54 p. ; 28 cm
シリーズ名: ACM international conference proceedings series
所蔵情報: loading…
79.

図書

図書
Workshop on Large-Scale Attack Defense ; Association for Computing Machinery
出版情報: New York : Associationfor Computing Machinery, c2007  72 p. ; 28 cm
所蔵情報: loading…
80.

図書

図書
Workshop on Automated Formal Methods ; ACM/IEEE International Conference on Automated Software Engineering ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2007  76 p. ; 28 cm
所蔵情報: loading…
81.

図書

図書
Workshop on Automating Service Quality ; ACM/IEEE International Conference on Automated Software Engineering ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2007  47 p. ; 28 cm
所蔵情報: loading…
82.

図書

図書
ACM International Workshop on Empirical Assessment of Software Engineering languages and Technologies ; ACM/IEEE International Conference on Automated Software Engineering ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2007  53 p. ; 28 cm
所蔵情報: loading…
83.

図書

図書
Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  51 p. ; 28 cm
所蔵情報: loading…
84.

図書

図書
International Workshop AVI ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2008  466 p. ; 28 cm
所蔵情報: loading…
85.

図書

図書
Eclipse Technology Exchange Workshop ; Object-Oriented Programming Systems, Languages and Applications ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2007  74 p. ; 28 cm
所蔵情報: loading…
86.

図書

図書
Workshop on Massive Datasets ; ICMI ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2007  13 p. ; 28 cm
所蔵情報: loading…
87.

図書

図書
Workshop on Multimodal Interfaces in Semantic Interaction ; ICMI ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2007  60 p. ; 28 cm
所蔵情報: loading…
88.

図書

図書
Workshop on Tagging, Mining and Retrieval of Human-Related Activity Information ; ICMI ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2007  62 p. ; 28 cm
所蔵情報: loading…
89.

図書

図書
Workshop on Beyond Time and Erros: Novel Evaluation Methods for Information Visualization ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  73 p. ; 28 cm
所蔵情報: loading…
90.

図書

図書
Workshop on Memory Access on Future Processors ; ACM Special Interest Group on Microprogramming ; Association for Computing Machinery
出版情報: New York. : Association for Computing Machinery, c2008  32 p. ; 28 cm
所蔵情報: loading…
91.

図書

図書
Workshop on Memory Access on Future Processors ; ACM Special Interest Group on Microprogramming ; Association for Computing Machinery
出版情報: New York. : Association for Computing Machinery, c2008  33 p. ; 28 cm
所蔵情報: loading…
92.

図書

図書
ACM Computer Security Architecture Workshop ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  60 p. ; 28 cm
所蔵情報: loading…
93.

図書

図書
ACM Workshop on Digital Identity Management ; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  100 p. ; 28 cm
所蔵情報: loading…
94.

図書

図書
International Workshop on Aspect-Oriented Modeling ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  36 p. ; 28 cm
所蔵情報: loading…
95.

図書

図書
Linking Aspect Technology and Evolution Workshop ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  42 p. ; 28 cm
所蔵情報: loading…
96.

図書

図書
Workshop on Software Engineering Properties of Languages and Apect Technologies ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  36 p. ; 28 cm
所蔵情報: loading…
97.

図書

図書
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  60 p. ; 28 cm
所蔵情報: loading…
98.

図書

図書
Workshop on Foundations of Aspect-Oriented Languages ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  47 p. ; 28 cm
所蔵情報: loading…
99.

図書

図書
AOSD Workshop on Domain-Specific Aspect Languages ; International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  37 p. ; 28 cm
所蔵情報: loading…
100.

図書

図書
Early Aspects Workshop ; International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  48 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼