|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7274 occurrences of 3849 keywords
|
|
|
Results
Found 13304 publication records. Showing 13304 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Sule Yildirim, Gregory L. Dam, James C. Houk |
The mind agents in Netlogo 3.1. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
computational microscopic module, distributed processing modules, mind agents |
16 | Ying Huang, Chunyuan Zhang, Dong Liu 0022, Yi Li, Sheng-xin Weng |
The Design on SEU-Tolerant Information Processing System of the On-Board-Computer. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
Dual Fault-Tolerant, Triple Module Redundancy, Cost-Off-The-Shelf, Field Programmable Gate Array, Single-Event-Upsets |
16 | Soheil Aminzadeh, Saeed Safari |
Co-evolutionary high-level test synthesis. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
co-evolutionary algorithm, module binding, genetic algorithm, scheduling, register allocation, high-level test synthesis |
16 | Musa Alci |
New dynamic fuzzy structure and dynamic system identification. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Dynamic fuzzy module (DFM), Non-linear dynamic system, System identification |
16 | Sam Tobin-Hochstadt, Matthias Felleisen |
Interlanguage migration: from scripts to programs. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
interlanguage migration, contract, ?-calculus, module systems |
16 | Kristinn R. Thórisson |
Modeling Multimodal Communication as a Complex System. |
ZiF Workshop |
2006 |
DBLP DOI BibTeX RDF |
Multimodal realtime communication, complex natural system, heterogeneous large system, abstract module, theory of dialogue, computational model |
16 | Pierre-Malo Deniélou, James J. Leifer |
Abstraction preservation and subtyping in distributed languages. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems |
16 | Scott Owens, Matthew Flatt |
From structures and functors to modules and units. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
component, structure, module, unit, functor |
16 | Robert Grimm 0001 |
Better extensibility through modular syntax. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system |
16 | Naofumi Homma, Sei Nagashima, Yuichi Imai, Takafumi Aoki, Akashi Satoh |
High-Resolution Side-Channel Attack Using Phase-Based Waveform Matching. |
CHES |
2006 |
DBLP DOI BibTeX RDF |
cryptographic module, waveform matching, phase-only correlation, side-channel attacks, DPA, DEMA |
16 | Keigo Watanabe, Kiyotaka Izumi, Junnosuke Maki, Katsuharu Fujimoto |
A Fuzzy Behavior-Based Control for Mobile Robots Using Adaptive Fusion Units. |
J. Intell. Robotic Syst. |
2005 |
DBLP DOI BibTeX RDF |
behavioral fusion, module learning, sensor information, s, genetic algorithm, fuzzy control, behavior-based control, nonholonomic mobile robots |
16 | Gavin J. Seal |
Cartesian Closed Topological Categories and Tensor Products. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
monoidal closed category, topological category, R-module object, tensor product, Cartesian closed category |
16 | Masanori Hariyama, Tetsuya Aoyama, Michitaka Kameyama |
Genetic Approach to Minimizing Energy Consumption of VLSI Processors Using Multiple Supply Voltages. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
data-path design, scheduling, Automatic synthesis, module selection |
16 | David M. Lewis, Elias Ahmed, Gregg Baeckler, Vaughn Betz, Mark Bourgeault, David Cashman, David R. Galloway, Mike Hutton, Christopher Lane, Andy Lee, Paul Leventis, Sandy Marquardt, Cameron McClintock, Ketan Padalia, Bruce Pedersen, Giles Powell, Boris Ratchev, Srinivas Reddy, Jay Schleicher, Kevin Stevens, Richard Yuan, Richard Cliff, Jonathan Rose |
The Stratix II logic and routing architecture. |
FPGA |
2005 |
DBLP DOI BibTeX RDF |
logic module, FPGA, routing |
16 | Hammad Majeed |
A new approach to evaluate GP schema in context. |
GECCO Workshops |
2005 |
DBLP DOI BibTeX RDF |
tree semantics, schema theory, module acquisition |
16 | Tom Lada |
Linfinity Algebra Representations. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
L algebra, L module |
16 | Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita |
Universal Delay-Insensitive Circuits with Bidirectional and Buffering Lines. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
bidirectional buffering lines, module, Asynchronous systems, universality, delay-insensitive circuits |
16 | Deo Prakash Vidyarthi, Anil Kumar Tripathi, Biplab Kumer Sarker, Abhishek Dhawan, Laurence Tianruo Yang |
Cluster-Based Multiple Task Allocation in Distributed Computing System. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
InterProcessor Distance, Heterogeneous DCS, Inter-Module communication, Load, Task partitioning |
16 | Jon A. Sjogren |
Principal Rings and their Invariant Factors. |
Appl. Algebra Eng. Commun. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Bézoutian ring, Module capacity, Smith canonical form, Distributive semi-group lattice, Invariant basis property |
16 | Yi-Bing Lin, Ming-Feng Chen, Herman Chung-Hwa Rao |
Potential Fraudulent Usage in Mobile Telecommunications Networks. |
IEEE Trans. Mob. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Fraudulent usage, subscriber identity module (SIM), mobile network, Universal Mobile Telecommunication System (UMTS), mobility management, GSM |
16 | Robert Pollack |
Dependently Typed Records in Type Theory. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble |
16 | Ines Grützner, Niniek Angkasaputra, Dietmar Pfahl |
A systematic approach to produce small courseware modules for combined learning and knowledge management environements. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
courseware module production, knowledge packaging, CSCL |
16 | Iwan M. Duursma, Carlos Rentería-Márquez, Horacio Tapia-Recillas |
Reed-Muller Codes on Complete Intersections. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Complete intersection, Hilbert polynomial, Vanishing ideal, a -invariant of an ideal, Graded finite free resolution, Canonical module, Reed-Muller code |
16 | Hiroshi Hosobe |
A modular geometric constraint solver for user interface applications. |
UIST |
2001 |
DBLP DOI BibTeX RDF |
module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers |
16 | D. Pumplün, Helmut Röhrl |
Convexity Theories V: Extensions of Absolutely and Totally Convex Modules. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
absolutely, totally convex module, coextension, (co-) product, direct sum, extension |
16 | Stephen A. Blythe, Robert A. Walker 0001 |
Efficient optimal design space characterization methodologies. |
ACM Trans. Design Autom. Electr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
clock-length determination, efficient searching, scheduling, high-level synthesis, design space exploration, bounding, module selection |
16 | Günther Specht, Thomas Kahabka |
Information Filtering and Personalization in Databases Using Gaussian Curves. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
Gaussian curves, adaptive personalisation algorithm, arbitrary information systems, GRAS algorithm, Gaussian Rating Adaptation Scheme, retrieved document sorting, personal interests, personal relevance, user numbers, background information, feedback techniques, user profile adaptation, object profile adaptation, profile maturity, MultiMAP multimedia database, generic personalisation provider module, databases, collaborative filtering, information filtering, content-based filtering, information retrieval systems, multimedia data, content structure |
16 | Yiorgos Makris, Jamison Collins, Alex Orailoglu |
Fast hierarchical test path construction for DFT-free controller-datapath circuits. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
fast hierarchical test path construction, DFT-free controller-datapath circuits, transparency based scheme, locally generated vectors, global design test, influence tables, valid control state sequences, module testing, fault coverage levels, vector counts, logic testing, test generation, automatic test pattern generation, ATPG, computational cost reduction |
16 | Luiz Antônio Pereira Neves, Jacques Facon |
Methodology of Automatic Extraction of Table-Form Cells. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
table-form cells, active cells, line intersection recognition, correction module mechanisms, error detection/correction, intersection identification phase, form bases, document image processing, automatic extraction |
16 | Hans-Arno Jacobsen, Bernd J. Krämer |
Modeling Interface Definition Language Extensions. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints |
16 | Jean-François Pommaret, Alban Quadrat |
Generalized Bezout Identity. |
Appl. Algebra Eng. Commun. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Generalized Bezout identity, Janet sequence, Formal integrability, Commutative algebra, Controllability, Parametrization, D -module |
16 | Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha |
IMPACT: A High-Level Synthesis System for Low Power Control-Flow Intensive Circuits. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
multiplexer re-structuring, low power, high-level synthesis, resource sharing, control-flow, module selection |
16 | Lennart Augustsson |
Cayenne - a Language with Dependent Types. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
type systems, language design, dependent types, module systems |
16 | 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 |
16 | Ethan Scarl, Kurt McCall |
Model-based diagnosis in a power distribution testbed. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
ro/spl delta/on model-based diagnosis shell, breadboard testbed, diagnostic algorithm, Space Station Module, software testbed, hardware testbed, Marshall Space Flight Center, expert system, power management, diagnostic expert systems, power distribution system, constraint-based modeling |
16 | Anthony M. Sloane |
Generating Dynamic Program Analysis Tools. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure |
16 | I. Rabinovitch, Anastasios N. Venetsanopoulos |
High Quality Image Compression Using the Wavelet Transform. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
high quality image compression, nonzero coefficients, HVS based processing module, performance, wavelet transform, data compression, human visual system, compression ratios, wavelet filter |
16 | Andreas Polzer, Hansjörg Klock, Joachim M. Buhmann |
Video coding by region-based motion compensation and spatio-temporal wavelet transform. |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
region-based motion compensation, spatio-temporal wavelet transform, low bit-rate video compression, region-based motion estimation, wavelet transform coding, motion segmentation module, mean field techniques, parameter estimation, video coding, video coding, EM algorithm, maximum likelihood estimation, expectation-maximization algorithm |
16 | Hans-Peter Eich, Christian Ohmann, Konrad Lang |
Decision support in acute abdominal pain using an expert system for different knowledge bases. |
CBMS |
1997 |
DBLP DOI BibTeX RDF |
acute abdominal pain, documentation program, medical data dictionary, knowledge modules, clinical data, automatic rule generation, diagnostic scores, general knowledge module, knowledge-based system, decision support systems, decision support system, expert system, knowledge bases, rule sets |
16 | Claudia I. Horta, José A. Lima |
Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning |
16 | Herbert Dawid, Klaus-Jürgen Koch, Johannes Stahl 0004 |
ADPCM codec: from system level description to versatile HDL model. |
ASAP |
1997 |
DBLP DOI BibTeX RDF |
differential pulse code modulation, ADPCM codec, system level description, versatile HDL model, architectural design exploration, fast system simulation, adaptive differential pulse code modulation codec module, power analysis, design verification, behavioral synthesis, design reuse, system complexity, design constraints |
16 | Matthew B. Dwyer |
Modular Flow Analysis for Concurrent Software. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming |
16 | Ajay Khoche, Erik Brunvand |
Critical hazard free test generation for asynchronous circuits. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
self-timed control circuits, critical hazard-free tests, six-valued algebra, macro-module library, partial scan based DFT environment, unbounded delay model, asynchronous circuits, asynchronous circuits, D-algorithm |
16 | Michael Siff, Thomas W. Reps |
Identifying modules via concept analysis. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
program module identification, object similarity identification, algorithmic framework, concept lattice, subroutines, concept analysis, lattice theory, legacy code, positive information, object attributes, negative information |
16 | T. Mitchem, R. Lu, R. O'Brian |
Using Kernel Hypervisors to Secure Applications. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
kernel hypervisors, secure applications, selective control, loadable module, unbypassable security wrappers, application specific security requirements, client kernel hypervisors, application specific policies, loadable modules, user systems, malicious active content, wrapping servers, firewall services, Web browser, operating system kernels, Linux kernel, COTS components, replication services |
16 | Housem Miled, Christian Olivier, Mohamed Cheriet, Yves Lecourtier |
Coupling observation/letter for a Markovian modelisation applied to the recognition of Arabic handwriting. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
observation/letter coupling, Markovian modelisation, Arabic handwriting recognition, perfect segmentation method, hidden Markovian models, segmentation module, Tunisian state names, handwriting recognition, defaults, graphemes |
16 | Jaakko J. Sauvola, Sami Haapakoski, Hannu Kauniskangas, Tapio Seppänen, Matti Pietikäinen, David S. Doermann |
A distributed management system for testing document image analysis algorithms. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
distributed management system, document image analysis algorithm testing, document understanding application, custom test case creation, test management module, Java, C++, graphical user interfaces, object-oriented databases, systems architecture, document image processing, test cases, document images, document categorization, platform independent, degradation models |
16 | John T. Favata |
General word recognition using approximate segment-string matching. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
isolated off-line general word recognition, approximate stroke-segment/string matching algorithm, OCR estimates, character sequence, lexicon words, document noise, poor handwriting, lexicon errors, recognition failure, segment-to-string matching algorithm, system errors, post-processing module, degraded document recognition, character model word recognizer, CMWR algorithm, optical character recognition, text recognition, cursive script recognition, BEAM search, image degradation |
16 | Byungho Kim, Boseob Kwon, Hyunsoo Yoon, Seungryul Maeng, Jung Wan Cho |
Performance Analysis of Multipath Multistage Interconnection Networks with Nonuniform Output Traffic Distribution. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
buffer circuits, multipath multistage interconnection networks, nonuniform output traffic distribution, delay-throughput performance, packet arrival rates, output module., performance evaluation, performance analysis, delays, probability, packet switching, multistage interconnection networks, telecommunication traffic, packet delay, losses, output buffers, packet loss probability |
16 | Basem A. Nayfeh, Kunle Olukotun, Jaswinder Pal Singh |
The Impact of Shared-Cache Clustering in Small-Scale Shared-Memory Multiprocessors. |
HPCA |
1996 |
DBLP DOI BibTeX RDF |
shared-cache clustering, small-scale shared-memory multiprocessors, shared global bus, low-latency interconnections, performance evaluation, shared memory systems, cache storage, memory system, multichip module, L2 cache, processor performance, high-bandwidth, bus contention |
16 | Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo, Wen-Bin Liao |
Easily Testable Data Path Allocation Using Input/Output Registers. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
testable data path allocation, behavioral synthesis systems, input/output registers, interconnection allocation, module allocation, higher fault coverage, lower hardware overhead, improved testability, VLSI synthesis, optimization, algorithms, benchmarks, ATPG, DFT, register allocation, circuit optimisation, RTL design |
16 | Jaswinder Pal Singh, Anshul Kumar, Shashi Kumar |
A multiplier generator for Xilinx FPGAs. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
multiplier generator, Xilinx FPGAs, LUT based FPGA, sequential designs, combinational designs, pipelined designs, IDEAS synthesis system, XC3000 family, XC4000 family, dedicated carry logic, XACT tool, XBLOX tool, field programmable gate arrays, high level synthesis, sequential circuits, combinational circuits, digital arithmetic, logic CAD, pipeline processing, integrated circuit design, circuit CAD, table lookup, multiplying circuits, module generator, carry logic, multiplier designs |
16 | Luc Robert, Michel Buffa, Martial Hebert |
Weakly-Calibrated Stereo Perception for Rover Navigation. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
weakly-calibrated stereo perception, stereo perception, rover navigation, weakly calibrated stereo images, relative point elevation, reference plane, vision module, complete navigation system, shape indicator, appropriate steering directions, unstructured outdoor environments, wheeled rover, navigation, mobile robots, calibration, image matching, path planning, stereo image processing, epipolar geometry, robot vision, vision system, computerised navigation, autonomous navigation, point matching, projection images, image rectification |
16 | Mauro Barni, A. W. Mussa, Alessandro Mecocci, Vito Cappellini, Tariq S. Durrani |
An intelligent perception system for food quality inspection using color analysis. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
food processing industry, intelligent perception system, food quality inspection, vision based intelligent perception system, chicken meat, RGB images, burns, hematomas, blisters, vision module, anatomic subparts, defect description, reference database, computer vision, image segmentation, image reconstruction, image analysis, mathematical morphology, multilayer perceptrons, image colour analysis, manufacturing systems, automatic optical inspection, morphological reconstruction, color analysis, automated inspection |
16 | William C. Chu, Hongji Yang |
Component Reuse Through Reverse Engineering and Semantic Interface Analysis. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
Module Interconnection Languages, Reverse Engineering, Software Reuse, Software Integration |
16 | Wei Zhao, Christos A. Papachristou |
Architectural partitioning of control memory for application specific programmable processors. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
application specific programmable processors, control memory, distributed microcode memory model, microcode memory, repetitive microcodes, distributed memory systems, memory architecture, programmability, microprogram, datapaths, firmware, memory module |
16 | Xiaowei Deng, Takahiro Hanyu, Michitaka Kameyama |
Quantum Device Model-Based Super Pass Gate for Multiple-Valued Digital Systems. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
quantum interference devices, MOS logic circuits, quantum device model, super pass gate, multiple-valued digital systems, VLSI devices, super pass transistor, multiple-valued VLSI systems, multiple-signal-level detection, multiple-valued universal logic module, multiple-valued image processing system, NMOS circuit, VLSI, multivalued logic circuits, semiconductor device models |
16 | Claudio Truzzi, Eric Beyne, Edwin Ringoot, J. Peeters |
Signal propagation in high-speed MCM circuits. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
thin film circuits, signal propagation, high-speed MCM circuits, thin-film multichip module substrate, timing analyses, lossy interconnection lines, timing, circuit analysis computing, circuit simulations, CMOS integrated circuits, CMOS integrated circuits, multichip modules, receivers, drivers, microsystems, substrates |
16 | Kai-Yuan Chao, D. F. Wong 0001 |
Thermal placement for high-performance multichip modules. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
thermal placement, high-performance multichip modules, electrical performance requirements, thermal behavior, high-speed chips, multichip module packages, cooling environments, conduction cooling, convection cooling, chip junction temperatures, circuit analysis computing, multichip modules, thermal models, cooling, convection |
16 | Wolf-Dietrich Ihlenfeldt, Yoshimasa Takahashi, Hidetsugu Abe |
Dataflow processing in a global networked context: a solution for the computational methods pool management problem. |
HICSS (5) |
1995 |
DBLP DOI BibTeX RDF |
dataflow processing, global networked context, computational methods, pool management problem, extensible networked environment, chemical data visualization, flexible data manager, algorithmic module databases, chemical information, programming environments, database management systems, visual programming, data analysis, data analysis, data visualisation, chemistry, data flow computing, chemistry computing, visual programming environment, computational chemistry |
16 | Michael Sheliga, Edwin Hsing-Mean Sha |
Bus minimization and scheduling of multi-chip systems. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
bus minimization, multi-chip module design, scheduling, scheduling, logic CAD, polynomial time algorithm, circuit layout CAD, multichip modules, signal flow graphs, signal flow graphs, algorithm efficiency |
16 | Sitaran Yadavalli, Irith Pomeranz, Sudhakar M. Reddy |
MUSTC-Testing: Multi-Stage-Combinational Test scheduling at the Register-Transfer Level. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
MUSTC-testing, multi-stage-combinational test, control paths, signal types, module level pre-computed test sets, scheduling, logic testing, integrated circuit testing, combinational circuits, automatic testing, automatic test, register-transfer level, test scheduling, data-paths |
16 | Puneet Sawhney, Haroon Rasheed |
Static RAM generators with automated characterization techniques for a 0.5 micron triple-metal embedded array. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
static RAM generators, automatic generator characterisation tool, triple-metal embedded array, metallized SRAMs, single-port static RAMs, dual-port static RAMs, user-defined size, 0.5 micron, application specific integrated circuits, integrated circuit design, circuit CAD, aspect ratio, ASIC design, SRAM chips, SRAM chips, module generators |
16 | Stephen S. Yau, Haiqing Ying |
A clustering algorithm for object-oriented development of distributed computing system software. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
distributed computing system software, intermodule communication, module execution, object-oriented programming, distributed processing, modules, clustering algorithm, network operating systems, object-oriented development |
16 | Gerardo Canfora, Anna Rita Fasolino, Maria Tortorella |
Towards reengineering in reuse reengineering processes. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
reuse reengineering processes, productivity improvement, reference paradigms, RE/sup 2/ paradigm, election phase, COBOL programs, candidate components, reusable modules, module template, COBOL code components, reverse engineering, reverse engineering, software maintenance, software quality, software quality, software reuse, software reusability, COBOL, systems re-engineering, subroutines, human resource management |
16 | Wei Lu, Wei Wu, Masao Sakauchi |
A drawing recognition system with rule acquisition ability. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
drawing recognition system, rule acquisition ability, empirical learning module, teacher examples, environmental parameters, decision tree generation, CAD, decision trees, knowledge based systems, image recognition, inference mechanisms, learning by example, blackboard architecture, engineering graphics |
16 | Najoua Essoukri Ben Amara, Noureddine Ellouze |
A robust approach for Arabic printed character segmentation. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
Arabic printed character segmentation, segmentation module, Arabic documents, dictionary correction, off-line Arabic printed characters, black segments, task perfect segmentation, hidden Markov models, decision trees, optical character recognition, handwritten characters |
16 | Magdy S. Abadir, Ashish Parikh, Linda Bal, Peter Sandborn, Cynthia F. Murphy |
High Level Test Economics Advisor (Hi-TEA). |
J. Electron. Test. |
1994 |
DBLP DOI BibTeX RDF |
MCM testing strategies, multichip module, test economics |
16 | Mateo Valero, Tomás Lang, Eduard Ayguadé |
Conflict-free access of vectors with power-of-two strides. |
ICS |
1992 |
DBLP DOI BibTeX RDF |
multi-module memories, out-of-order access, power-of-two strides, vector processors, conflict-free access, storage schemes |
16 | Richard A. DeMillo, A. Jefferson Offutt |
Constraint-Based Automatic Test Data Generation. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
constraint-based data generation, relative adequacy, fault-based technique, algebraic constraints, Godzilla, module testing, Mothra testing system, computational complexity, program testing, mutation analysis, automatic test data generation |
16 | Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani |
Semi-Automatic Program Construction From Specifications Using Library Modules. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation |
16 | Marco A. Casanova, António L. Furtado 0001, Luiz Tucherman |
A Software Tool for Modular Database Design. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
consistency preservation, logical database design, module constructors, abstract data types, integrity constraints, encapsulation, modular design |
16 | Alan Wills |
Capsules and Types in Fresco: Program Verification in Smalltalk. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
Fresco, Mural, specification, inheritance, Smalltalk, module, subtype, program proof, capsule |
16 | M. Hakan Erdogmus, Robert Johnston |
On the Specification and Synthesis of Communicating Processes. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
objective methodology, state-machine-type process descriptions, common problem, central module, specific distributed system configuration, formal specification, parallel programming, automatic programming, communicating processes, high-level specifications, algebraic operators, behavioral constraints, behavioral constraints |
16 | David Alex Lamb |
Specification of Iterators. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications |
16 | David M. Nicol |
Optimal Partitioning of Random Programs Across two Processors. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
random programs, homogeneous distributed system, expected maximum, maximum expectation, approximation-free proof, module execution time distribution, parallel programming, distributed processing, programming theory, optimal partitioning |
16 | 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 |
16 | Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth |
ABE: An Environment for Engineering Intelligent Systems. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
multilevel architecture, module-oriented programming, cooperative operating system, knowledge processing tools, skeletal systems, virtual machine, virtual machines, software tools, programming environments, programming environments, intelligent systems, knowledge engineering, knowledge engineering, software reusability, software reusability, operating systems (computers), dataflow, control flow, blackboards, ABE, large-scale applications |
16 | Michiharu Tsukamoto |
Structuring distributed programs with control fault detection. |
Operating Systems Engineering |
1980 |
DBLP DOI BibTeX RDF |
control fault detection, master and slave, mutual-checking, reliable software, communication, distributed computation, error detection, concurrent programming, object, distributed programming, module, path expression |
15 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
15 | Ilias Maglogiannis, Demosthenes Vouyioukas, Chris Aggelopoulos |
Face detection and recognition of natural human emotion using Markov random fields. |
Pers. Ubiquitous Comput. |
2009 |
DBLP DOI BibTeX RDF |
ICM, Image segmentation, Markov random field, Face detection, Emotion recognition |
15 | Rainer Koschke, Pierre Frenzel, Andreas P. J. Breu, Karsten Angstmann |
Extending the reflexion method for consolidating software variants into product lines. |
Softw. Qual. J. |
2009 |
DBLP DOI BibTeX RDF |
Software variants, Reverse engineering, Software product lines, Architecture reconstruction |
15 | Eva K. Lee |
Machine Learning Framework for Classification in Medicine and Biology. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Feng Jin, Minlie Huang, Xiaoyan Zhu 0001 |
A query-specific opinion summarization system. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
15 | K. Ravindran |
Management Intelligence in Service-Level Reconfiguration of Distributed Network Applications. |
SOCASE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Bogdan D. Czejdo, Mikolaj Baszun |
An Interactive Medical Knowledge Assistant. |
WSKS (2) |
2009 |
DBLP DOI BibTeX RDF |
Medical Knowledge Bases, Rough Sets, Medical Software |
15 | Christos Georgoulas, Ioannis Andreadis |
A Real-Time Occlusion Aware Hardware Structure for Disparity Map Computation. |
ICIAP |
2009 |
DBLP DOI BibTeX RDF |
FPGA-hardware implementation, real-time imaging, occlusions, disparity maps, color image processing |
15 | Edmund Y. W. Seto, Annarita Giani, Victor Shia, Curtis Wang, Posu Yan, Allen Y. Yang, Michael Jerrett, Ruzena Bajcsy |
A wireless body sensor network for the prevention and management of asthma. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Anabela Simões, Ernesto Costa |
Prediction in evolutionary algorithms for dynamic environments using markov chains and nonlinear regression. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, prediction, markov chains, dynamic environments, nonlinear regression |
15 | Bruno E. da Silva Coelho, Constantino Martins, Ana de Almeida 0001 |
Adaptive Tourism Modeling and Socialization System. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jung-Hyun Kim 0006, Hyeong-Joon Kwon, Hyo-Haeng Lee, Kwang-Seok Hong |
Mobile Web 2.0-Oriented Five Senses Multimedia Technology with LBS-Based Intelligent Agent. |
UIC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Kiyoung Kim, Jonghee Park, Woontack Woo |
Marker-Less Tracking for Multi-layer Authoring in AR Books. |
ICEC |
2009 |
DBLP DOI BibTeX RDF |
marker-less tracking, layer authoring, page recognition, AR book, augmented reality, SIFT |
15 | Lei Shi, Shenghui Su, Zhengrong Xiang |
Design of a Passport Anti-forgery System Based on Digital Signature Schemes. |
PAISI |
2009 |
DBLP DOI BibTeX RDF |
Passport anti-forgery, IC chip, Client / server, Algorithm, Digital signature scheme |
15 | Nikolaos Papadakis, Anastasios D. Doulamis, Antonios Litke, Nikolaos D. Doulamis, Dimitrios Skoutas 0001, Theodora A. Varvarigou |
MI-MERCURY: A mobile agent architecture for ubiquitous retrieval and delivery of multimedia information. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Adaptive delivery, Mobile agents, Web mining, Summarization, Content adaptation, Multimedia retrieval |
15 | Suhan Choi, S. Sandeep Pradhan |
A Graph-Based Framework for Transmission of Correlated Sources Over Broadcast Channels. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Asli Celikyilmaz, Marcus Thint |
Semantic approach to text entailment for question answering - new domain for uncertainty modeling. |
IEEE ICCI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Shun Nishide, Tetsuya Ogata, Ryunosuke Yokoya, Jun Tani, Kazunori Komatani, Hiroshi G. Okuno |
Active sensing based dynamical object feature extraction. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jie Chen, Minjian Zhao, Jin Tian, Shiju Li |
A QoS MAC Protocol for Cognitive PMP Networks with Rapid Changes of Spectrum Opportunities. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Angela Bonifati, Giansalvatore Mecca, Alessandro Pappalardo, Salvatore Raunich, Gianvito Summa |
The Spicy system: towards a notion of mapping quality. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
mapping verification, mappings, schema matching |
15 | Gernot Paulus, Martin Krch, Johannes Scholz, Peter Bachhiesl |
Scenario-Based Spatial Decision Support for Network Infrastructure Design. |
AGILE Conf. |
2008 |
DBLP DOI BibTeX RDF |
knowledge base, network analysis, spatial decision support, network infrastructures |
Displaying result #601 - #700 of 13304 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|