|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8252 occurrences of 4039 keywords
|
|
|
Results
Found 11069 publication records. Showing 11069 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Deirdre R. Meldrum, Mark Holl, Pahnit Seriburi, Scott Phillips, Shih-hui Chao, Ling-Sheng Jang, Fettah Kosar |
MEMS modules for life-on-a-chip. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Vassilis Androutsopoulos, T. J. W. Clarke, Mike Brookes |
Synthesis and optimization of interfaces between hardware modules with incompatible protocols. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Mira Mezini, Klaus Ostermann |
Modules for Crosscutting Models. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Antony Edwards, Trent Jaeger, Xiaolan Zhang 0001 |
Runtime verification of authorization hook placement for the linux security modules framework. |
CCS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Pavle Belanovic, Miriam Leeser |
A Library of Parameterized Floating-Point Modules and Their Use. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Scanlon |
Public Key Cryptosystems Based on Drinfeld Modules Are Insecure. |
J. Cryptol. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Alexandra Shlapentokh |
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03C57, 03D35, 11D57, 11U05 |
14 | Péter Érdi, Tamás Kiss |
The Complexity of the Brain: Structural, Functional, and Dynamic Modules. |
Emergent Neural Computational Architectures Based on Neuroscience |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Liping Wang 0005 |
Euclidean Modules and Multisequence Synthesis. |
AAECC |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Norbert Krüger, Daniel Wendorff, Gerald Sommer |
Two Modules of a Vision-Based Robotic System: Attention and Accumulation of Object Representations. |
RobVis |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Theo Arts, Peter Bovendeerd, A. van der Toorn, Liesbeth Geerts, Roy Kerckhoffs, Frits W. Prinzen |
Modules in Cardiac Modeling: Mechanics, Circulation, and Depolarization Wave. |
FIMH |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Davide Ancona |
MIX(FL): A Kernel Language of Mixin Modules. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Qing Zhao, Hoh In, Xiaowei Wu, Garng M. Huang |
Transforming Legacy Energy Management System (EMS) Modules into Reusable Components: A Case Study. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
Distributed Component Software Architecture, Energy Management System (EMS), Wrapper, Architecture Evolution |
14 | Gregory W. Hislop, Thomas B. Hilburn |
Production of Software Curriculum Modules. |
CSEE&T |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Juan-Mariano de Goyeneche, Elena Apolinario Fernández de Sousa |
Loadable Kernel Modules. |
IEEE Softw. |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Frank Drewes, Peter Knirsch 0001, Hans-Jörg Kreowski, Sabine Kuske |
Graph Transformation Modules and Their Composition. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Rosa M. Jiménez, Fernando Orejas |
An Algebraic Framework for Higher-Order Modules. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Zhong Shao |
Transparent Modules with Fully Syntactic Signatures. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Martin Elsman |
Static Interpretation of Modules. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Rolf Drechsler, Wolfgang Günther 0001 |
Generation of Optimal Universal Logic Modules. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Bunny J. Tjaden |
Do lab modules in CS actually help students?: an empirical study. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
C |
14 | Najmi T. Jarwala |
Designing "Dual Personality" IEEE 1149.1 Compliant Multi-Chip Modules. |
J. Electron. Test. |
1997 |
DBLP DOI BibTeX RDF |
module test, design-for-testability, boundary-scan |
14 | Ken Posse |
A Formalization of the IEEE 1149.1-1990 Diagnostic Methodology as Applied to Multichip Modules. |
J. Electron. Test. |
1997 |
DBLP DOI BibTeX RDF |
fault diagnosis, Boundary-Scan, Multichip Module, MCM, interconnect testing, manufacturing defects |
14 | Jean-Francois Girard, Rainer Koschke |
Finding Components in a Hierarchy of Modules: a Step towards Architectural Understanding. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
architectural components recovery, abstract data type and abstract state encapsulation extraction, reverse engineering, program understanding, dominance tree |
14 | Christian Dufaza, Hassan Ihs |
A BIST-DFT technique for DC test of analog modules. |
J. Electron. Test. |
1996 |
DBLP DOI BibTeX RDF |
current and voltage self-testing, Built-In Voltage Sensor, Built-In Self Test, Design For Testability, analog BIST |
14 | Samit Chaudhuri, Michael Quayle |
Synthesis using sequential functional modules (SFMs). |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Jürgen Stuber |
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Dyi-Rong Duh, Gen-Huey Chen, Jywe-Fei Fang |
Algorithms and Properties of a New Two-Level Network with Folded Hypercubes as Basic Modules. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
?-wide diameter, node-fault diameter, interconnection network, connectivity, embedding, routing algorithm, diameter, container, Broadcasting algorithm, Hamiltonian circuit |
14 | Konstantin Keutner, Erwin Trischler |
Efficient sensitization of multi-bit-paths for testing embedded modules in synchronous sequential circuits. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
Modular testing, multi-bit-path sensitization, test pattern assembly |
14 | Yabo Wang, David Lorge Parnas |
Simulating the Behavior of Software Modules by Trace Rewriting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model |
14 | Anuchit Anuchitanukul, Zohar Manna |
Realizability and Synthesis of Reactive Modules. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Harley Davis, Pierre Parquier, Nitsan Séniak |
Talking About Modules and Delivery. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
LISP |
14 | Kyunrak Chong, Sartaj Sahni |
Minimizing total wire length by flipping modules. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Jung-Cheun Lien, Melvin A. Breuer |
Test program synthesis for modules and chips having boundary scan. |
J. Electron. Test. |
1993 |
DBLP DOI BibTeX RDF |
Board and system test, test controllers, test program synthesis, built-in self-test, design-for-test, boundary scan |
14 | Robert C. Frye, King L. Tai, Maureen Y. Lau, Thaddeus J. Gabara |
Trends in Silicon-On-Silicon Multichip Modules. |
IEEE Des. Test Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Ting-Ting Y. Lin, Huoy-Yu Liou |
A New Framework for Designing: Built-in Test Multichip Modules with Pipelined Test Strategy. |
IEEE Des. Test Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
14 | David Staepelaere, Jeffrey Jue, Tal Dayan, Wayne Wei-Ming Dai |
SURF: Rubber-Band Routing System for Multichip Modules. |
IEEE Des. Test Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Denise M. Woit |
Specifying Operational Profiles for Modules. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Robert M. Aiken, Dean Allemang, Thomas Wehrle |
Designing laboratory modules for novices in an undergraduate AI course track: artificial intelligence. |
SIGCSE |
1992 |
DBLP DOI BibTeX RDF |
LISP |
14 | Noriyoshi Itazaki, Kozo Kinoshita |
Test pattern generation for circuits with tri-state modules by Z-algorithm. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
14 | David Fernández-Baca |
Allocating Modules to Processors in a Distributed System. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
execution costs, P=NP, polynomial-time epsilon -approximate algorithm, optimum assignment, almost-tree, module allocation problem, distributed system, computational complexity, complexity, graph theory, distributed processing, iteration, polynomial time, planar, bipartite, partial k-tree, local search algorithm, communication graph |
14 | Michael J. Maher |
A Transformation System for Deductive Database Modules with Perfect Model Semantics. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
14 | David B. MacQueen |
An Implementation of Standard ML Modules. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
ML |
14 | Robert Harper 0001, Robin Milner, Mads Tofte |
A Type Discipline for Program Modules. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
14 | J. Apte, Gershon Kedem |
Strip Layout: A New Layout Methodology for Standard Circuit Modules. |
DAC |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Dennis de Champeaux |
Subproblem finder and instance checker, two cooperating modules for theorem provers. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
14 | J. S. Mamelak |
The Placement of Computer Logic Modules. |
J. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
13 | Taufik, Randyco Prasetyo, Arief Hernadi, Dodi Garinto |
Multiphase Interleaving Buck Converter with Input-Output Bypass Capacitor. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
voltage regulator modules, power electronics |
13 | Hua Yang, Kang Zhang, Chengying Qi, Yan Ren, Huajun Wang |
Experimental Investigation of Operation Characteristics of a Thermoelectric Dehumidifier. |
WKDD |
2010 |
DBLP DOI BibTeX RDF |
Dehumidification, Operation characteristics, Experiment, modules |
13 | Hoon Ko, Carlos Ramos 0001 |
A Survey of Context Classfication for Intelligent Systems Research for Ambient Intelligence. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
Security Modules, Ubiquitous Computing, Context-Aware, Framework, Ambient Intelligence |
13 | Maria Manioudaki, Panayiota Poirazi |
Modeling of Stress-induced Regulatory Cascades Involving Transcription Factor Dimers. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
TF dimerization, gene modules, ANNs |
13 | Chi Kin Chow, Shiu Yin Yuen |
Recovering Shape by Shading and Stereo Under Lambertian Shading Model. |
Int. J. Comput. Vis. |
2009 |
DBLP DOI BibTeX RDF |
Shape from stereo, Integration of shape modules, Lambertian shading model, Shape from shading, Epipolar geometry |
13 | Sara C. Madeira, Arlindo L. Oliveira |
Efficient Biclustering Algorithms for Time Series Gene Expression Data Analysis. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
gene expression time series, temporal expression patterns, anticorrelated time-lagged patterns, regulatory modules, Biclustering |
13 | Gaurav Pandey 0002, Gowtham Atluri, Michael S. Steinbach, Chad L. Myers, Vipin Kumar 0001 |
An association analysis approach to biclustering. |
KDD |
2009 |
DBLP DOI BibTeX RDF |
range support, real-valued data, biclustering, microarray data, functional modules, association analysis |
13 | Robson Dornelles, Felipe Sampaio, Daniel Palomino 0001, Luciano Volcan Agostini |
Transforms and quantization design targeting the H.264/AVC intra prediction constraints. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
IQ modules, Q, T, IT, video coding, high performance, H.264/AVC, VLSI design, low latency, intra-prediction |
13 | Adam Dukovich, David S. Janzen |
Design Patterns Go to Hollywood: Teaching Patterns with Multimedia. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
learning modules, context-oriented, multimedia, design patterns, software engineering education |
13 | Sandra Julieta Rueda, Hayawardh Vijayakumar, Trent Jaeger |
Analysis of virtual machine system policies. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
xen security modules (xsm), virtual machines, selinux, policy analysis |
13 | Daniel Andres, Viktor Levandovskyy, Jorge Martín-Morales |
Principal intersection and bernstein-sato polynomial of an affine variety. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
bernstein-sato polynomial of variety, initial ideal, intersection with subalgebra, non-commutative gr?bner bases, preimage of ideal, annihilator, d-modules |
13 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins |
Modular Information Hiding and Type-Safe Linking for C. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques |
13 | Reza Ameri, R. Mahjoob, M. Mootamani |
The Zariski topology on the spectrum of prime L -submodules. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Prime L-submodules, Fuzzy prime spectrum, L-top modules, Zariski topology |
13 | Yoshinori Hamahata |
Finite Dedekind Sums. |
WAIFI |
2008 |
DBLP DOI BibTeX RDF |
Dedekind sums, Drinfeld modules, lattices |
13 | Susmit Bagchi |
Nano-kernel: a dynamically reconfigurable kernel for WSN. |
MOBILWARE |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor networks, software components, object oriented design, kernel, modules, mote |
13 | Ada Diaconescu, Yoann Maurel, Philippe Lalanda |
Autonomic management via dynamic combinations of reusable strategies. |
Autonomics |
2008 |
DBLP DOI BibTeX RDF |
problem solving modules, framework, service-oriented computing, autonomic management, dynamic composition |
13 | László Lövei, Csaba Hoch, Hanna Köllö, Tamás Nagy, Anikó Nagyné Víg, Dániel Horpácsi, Róbert Kitlei, Roland Király |
Refactoring module structure. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
clustering modules, refactoring, erlang |
13 | Henry O'Keeffe, Patrick Fitzpatrick |
Gröbner basis approach to list decoding of algebraic geometry codes. |
Appl. Algebra Eng. Commun. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Gröbner bases, Polynomial modules, Error correcting codes, List decoding, Algebraic geometry codes |
13 | James Sasitorn, Robert Cartwright |
Component nextgen: a sound and expressive component framework for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
custom class loader, first-class generics, java implementation, components, signatures, modules |
13 | James Sasitorn, Robert Cartwright |
Deriving components from genericity. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
Java implementation, custom class loader, first-class generics, components, signatures, modules |
13 | Yitzhak Mandelbaum, Kathleen Fisher, David Walker 0001, Mary F. Fernández, Artem Gleyzer |
PADS/ML: a functional data description language. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages |
13 | Matan Vax |
Conservative aspect-orientated programming with the e language. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
class extension, modules, aspects, functional verification |
13 | Bernhard P. Bettig, Vikram Bapat |
Integrating multiple information representations in a single CAD/CAM/CAE environment. |
Eng. Comput. |
2006 |
DBLP DOI BibTeX RDF |
CAD/CAM software, Software architecture, Object-oriented programming, Framework, Information model, Scene-graph, Software modules |
13 | Olga Kouchnarenko, Arnaud Lanoix |
How to Verify and Exploit a Refinement of Component-Based Systems. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
LTL properties, verification, composition, refinement, modules, component-based systems |
13 | Gerald Friedland, Karl Pauls |
Architecting Multimedia Environments for Teaching. |
Computer |
2005 |
DBLP DOI BibTeX RDF |
E-Chalk system, SOPA, Exymen, multimedia environments, e-learning modules, education, software frameworks |
13 | Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig |
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. |
High. Order Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion |
13 | Gregory A. Hall, Wenyou Tao, John C. Munson |
Measurement and Validation of Module Coupling Attributes. |
Softw. Qual. J. |
2005 |
DBLP DOI BibTeX RDF |
measurement domains, principal component analysis, software metrics, software design, modules, coupling, software measurement |
13 | Manuel Bronstein, Ziming Li 0002, Min Wu 0003 |
Picard--Vessiot extensions for linear functional systems. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
Picard-Vessiot extensions, fundamental matrices, linear functional systems, modules of formal solutions |
13 | Peter Sin |
The p-Rank of the Incidence Matrix of Intersecting Linear Subspaces. |
Des. Codes Cryptogr. |
2004 |
DBLP DOI BibTeX RDF |
incidence matrices, permutation modules, p-rank |
13 | Nicola Onose, Jérôme Siméon |
XQuery at your web service. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
web services, XML, interface, XQuery, modules, wsdl |
13 | Derek Dreyer |
A type system for well-founded recursion. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
yype systems, recursion, effect systems, recursive modules |
13 | Christoph Stoermer, Liam O'Brien, Chris Verhoef |
Architectural Views through Collapsing Strategies. |
IWPC |
2004 |
DBLP DOI BibTeX RDF |
Components and Connectors, Multi-Collapsing, Viewtypes, Viewstyles, Architecture, Aggregation, Modules, View, Architecture Reconstruction, Collapsing |
13 | Darren J. Kerbyson, Michael Lang 0003, Gene Patino, Hossein Amidi |
An empirical performance analysis of commodity memories in commodity servers. |
Memory System Performance |
2004 |
DBLP DOI BibTeX RDF |
performance analysis, performance measurement, memory modules, memory system performance |
13 | Tyng-Ruey Chuang, Jan-Li Lin |
On modular transformation of structural content. |
ACM Symposium on Document Engineering |
2004 |
DBLP DOI BibTeX RDF |
bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules |
13 | G. Robert Redinbo |
Failure-Detecting Arithmetic Convolutional Codes and an Iterative Correcting Strategy. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
convolutional codes over integers, free modules, burst-correcting codes, real number codes, Algorithm-based fault tolerance, iterative decoding, fixed-point arithmetic, syndrome decoding |
13 | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
Global abstraction-safe marshalling with hash types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling |
13 | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
The nesC language: A holistic approach to networked embedded systems. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC |
13 | David B. MacQueen |
Should ML be Object-Oriented? |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented programming, Functional programming, Inheritance, ML, Polymorphism, Modules, Subtypes |
13 | Matthew Flatt |
Composable and compilable macros: : you want it when? |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
language tower, modules, macros |
13 | Peizhong Lu |
A Criterion for Annihilating Ideals of Linear Recurring Sequences over Galois Rings. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Linear recurring sequences, Annihilating ideals, Nechaev's open problem, Cyclic modules, Gröbner bases |
13 | Yin-Chao Huang, Chung-Len Lee 0001, Jun-Weir Lin, Jwu E. Chen, Chauchin Su |
A methodology for fault model development for hierarchical linear systems. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
closed loop systems, hierarchical linear systems, transfer function model, open-loop, element faults, benchmark state-variable filter, AC fault model, state variable filter, fault diagnosis, fault model, fault simulation, modules, Monte Carlo methods, Monte Carlo simulation, transfer functions, computation time, operational amplifiers, operational amplifiers, closed loop, analogue circuits |
13 | Jeffrey M. Fischer, Milos D. Ercegovac |
A Component Framework for Communication in Distributed Applications. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
Modules and Interfaces, Distributed Systems, Network Communication, Protocol Architecture, Reusable Libraries |
13 | Lane Warshaw, Daniel P. Miranker |
Rule-Based Query Optimization, Revisited. |
CIKM |
1999 |
DBLP DOI BibTeX RDF |
extensible query optimization, object oriented optimizers, rule modules, rule-based optimizers, search, heuristics, declarative programming, rule-based programming |
13 | Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky 0001, Sushil Jajodia |
Logical Design for Temporal Databases with Multiple Granularities. |
ACM Trans. Database Syst. |
1997 |
DBLP DOI BibTeX RDF |
Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form |
13 | Patrick Theobald, Susanne Wetzel, Werner Backes |
Design concepts for matrices and lattices in LiDIA. |
SAC |
1997 |
DBLP DOI BibTeX RDF |
lattice concept, matrix concept, template kernel, template modules |
13 | Shinji Kimura, Yasufumi Itou, Makoto Hirao, Katsumasa Watanabe, Mitsuteru Yukishita, Akira Nagoya |
A Hardware/Software Codesign Method for a General Purpose Reconfigurable Co-Processor. |
CODES |
1997 |
DBLP DOI BibTeX RDF |
hardware/software co-operation, a computer architecture using FPGA, bus-based reconfigurable co-processor architecture, high-level synthesis and optimization, C compiler to hardware modules |
13 | Carl Cargill |
Section 2. Sun and standardization wars. |
ACM Stand. |
1997 |
DBLP DOI BibTeX RDF |
X-Window Modules and interfaces, OSF/1 UNIX, Sun Microsystems |
13 | Steven D. Corey, Andrew T. Yang |
Automatic netlist extraction for measurement-based characterization of off-chip interconnect. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
MCM substrate-level interconnect circuitry, SPICE netlist, automatic netlist extraction, linear circuits, measured time domain refectometry data, measurement-based characterization, microstrip circuits, multiport system, off-chip interconnect, reflection transmission, time-domain scattering parameters, user-specified cutoff frequency, delay, crosstalk, circuit simulator, multichip modules, nonlinear circuits |
13 | José Cruz-Rivera, D. Scott Wills, Thomas K. Gaylord, Elias N. Glytsis |
Modeling the Technology Impact on the Design of a Two-Level Multicomputer Interconnection Network. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
k-ary n-cubes, multichip modules, Multicomputer networks |
13 | T. Raju Damarla, Moon J. Chung, Wei Su, Gerald T. Michael |
Faulty chip identification in a multi chip module system. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
faulty chip identification, multi chip module, linear space compressor, field programmable gate array, fault diagnosis, data compression, data compression, built-in self test, built-in self test, integrated circuit testing, fault detection, comparator, multichip modules |
13 | Vladimir A. Koval, Dmytro V. Fedasyuk |
The MCM's thermal testing. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
thermal field, heat exchange, multilevel rectangular parallelepiped, MONSTR-M system, simulation, model, design, testing, integrated circuit testing, multichip modules, integrated circuit modelling, MCM, heat transfer, structure decomposition |
13 | Bruce C. Kim, Abhijit Chatterjee, Madhavan Swaminathan |
Low-cost diagnosis of defects in MCM substrate interconnections. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
low-cost diagnosis, MCM substrate interconnections, substrate interconnect defects, defect location, defect size, fault diagnosis, integrated circuit testing, fault location, multichip modules, integrated circuit interconnections, fault-dictionary, substrates |
13 | Guo Tao, Yuanxiang Li, Lishan Kang, SungChun Kim |
CA Based Parallel Computational Models for Nonlinear Parabolic Systems. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
output queueing, Batcher sorter, radix-r double- network, packet distributor, FAB network, output buffer modules, ATM switch |
|
|