The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for modules with no syntactic query expansion in all metadata.

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