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
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
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
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
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
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
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
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
[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
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
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
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
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
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
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
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
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
International Workshop on Aspect-Oriented Modeling ; International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery
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
International Computing Education Research Workshop ; Association for Computing Machinery ; Association for Computing Machinery. Special Interest Group on Computer Science Education
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
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
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
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
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
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
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
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.
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
図書
