|
|
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 |
28 | Andres Herrera, Malek Adjouadi, Melvin Ayala |
An Integrated Design for a Myoelectrically-Based Writing Module for a Controlled Prosthesis. |
ICCHP |
2006 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
28 | Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Automatic monitor generation from regular expression based specifications for module interface verification. |
ISCAS (4) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Patrice Godefroid |
Reasoning about Abstract Open Systems with Generalized Module Checking. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Yuuji Ichisugi, Akira Tanaka |
Difference-Based Modules: A Class-Independent Module Mechanism. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti 0001, Ansuman Banerjee |
Formal verification of module interfaces against real time specifications. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
formal verification, temporal logic |
28 | Wen-Jong Fang, Allen C.-H. Wu, Duan-Ping Chen |
EmGen-a module generator for logic emulation applications. |
IEEE Trans. Very Large Scale Integr. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Orna Kupferman, Moshe Y. Vardi |
Module Checking. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Steven T. Healey, William J. Kubitz |
Abstract Routing of Logic Networks for Custom Module Generation. |
DAC |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Jan Madsen, Bjarne Hald |
An approach to interface synthesis. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication |
27 | 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 |
27 | Jaushin Lee, Janak H. Patel |
An architectural level test generator based on nonlinear equation solving. |
J. Electron. Test. |
1993 |
DBLP DOI BibTeX RDF |
Hierarchical test generation, module diagram, nonlinear module equation, relaxation technique, symbolic simulation |
27 | Dima Grigoriev, Fritz Schwarz |
Generalized Loewy-decomposition of d-modules. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
Janet basis, Loewy decomposition, d-module |
27 | Dominic Duggan |
Type-Safe linking with recursive DLLs and shared libraries. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules |
27 | Nobuyuki Kanaya, Hirotaka Hara, Yoshihide Nomura, Hitoshi Komori, Tsuyoshi Ebata |
Distributed Workflow Management System for Electronic Commerce. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
distributed workflow management system, XML-based workflow systems, server communication protocol, history log management, external application calls, batch request, external-call module, retrying algorithm, external application, protocol, electronic commerce, electronic commerce, consistency, enterprises, process management, data conversion, workflow engine |
27 | Deepinder P. Sidhu, Juan Aristizabal |
Constructing Submodule Specifications and Network Protocols. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences |
27 | Gregor von Bochmann |
Delay-Independent Design for Distributed Systems. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
interconnected modules, module interfaces, distributed systems, protocols, protocols, synchronization, delays, distributed processing, regularity, communication delays |
27 | Seda Postalcioglu, Kadir Erkan |
Soft computing and signal processing based active fault tolerant control for benchmark process. |
Neural Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Fault detection and identification, Self-organizing map, Wavelet analysis, Fuzzy logic controller, Fault tolerant control |
27 | Wataru Takano, Yoshihiko Nakamura |
Incremental learning of integrated semiotics based on linguistic and behavioral symbols. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Yong-Duck You, Choong-Bum Park, Hoon Choi |
The Lightweight Runtime Engine of the Wireless Internet Platform for Mobile Devices. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Hao Tian 0001, Ajay K. Katangur, Jiling Zhong, Yi Pan 0001 |
A Novel Multistage Network Architecture with Multicast and Broadcast Capability. |
J. Supercomput. |
2006 |
DBLP DOI BibTeX RDF |
PTP, MIN, WDM, SNR |
27 | Gunn-Yong Park, Seung-Ik Lee, Joong-Bae Kim |
A Neuroscientific Approach to Emotion System for Intelligent Agents. |
EUC |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Hariharan Sankaran, Srinivas Katkoori, Umadevi Kailasam |
System Level Energy Optimization for Location Aware Computing. |
PerCom |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jung-Hyun Kim 0006, Yong-Wan Roh, Jeong-Hoon Shin, Kwang-Seok Hong |
Performance Evaluation of a Hand Gesture Recognition System Using Fuzzy Algorithm and Neural Network for Post PC Platform. |
WILF |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Ferruccio Damiani |
Rank 2 intersection types for modules. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
type inference, separate compilation, principal typings |
27 | Takayuki Oohira, Koichiro Yamauchi 0001, Takashi Omori |
Meta-learning for Fast Incremental Learning. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Edward B. Allen, Taghi M. Khoshgoftaar |
Measuring Coupling and Cohesion: An Information-Theory Approach. |
IEEE METRICS |
1999 |
DBLP DOI BibTeX RDF |
entropy, software metrics, information theory, coupling, cohesion, call graph, excess entropy |
27 | José Fernando Díez Higuera, Francisco Javier Díaz Pernas |
Method for Automatic Karyotyping of Human Chromosomes Based on the Visual Attention System. |
IWANN (2) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Yuji Kukimoto, Robert K. Brayton |
Timing-safe false path removal for combinational modules. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Naoyuki Kubota, Toshio Fukuda, Fumio Kojima |
Fuzzy scheduling problem in self-organizing manufacturing system. |
KES (2) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Raghuram S. Tupuri, Jacob A. Abraham |
A Novel Hierarchical Test Generation Method for Processors. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Chauchin Su, Shenshung Chiang, Shyh-Jye Jou |
Impulse response fault model and fault extraction for functional level analog circuit diagnosis. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
Testing, Diagnosis, Analog Circuit |
26 | Gabrielle De Micheli, Daniele Micciancio, Alice Pellet-Mary, Nam Tran |
Reductions from module lattices to free module lattices, and application to dequantizing module-LLL. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
26 | Gabrielle De Micheli, Daniele Micciancio, Alice Pellet-Mary, Nam Tran |
Reductions from Module Lattices to Free Module Lattices, and Application to Dequantizing Module-LLL. |
CRYPTO (5) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Chengyu Song, Jianwei Zhuge, Xinhui Han, Zhiyuan Ye |
Preventing drive-by download via inter-module communication monitoring. |
AsiaCCS |
2010 |
DBLP DOI BibTeX RDF |
inter-module communication, malicious script, intrusion detection, ActiveX, drive-by download |
24 | David Xinliang Li, Raksit Ashok, Robert Hundt |
Lightweight feedback-directed cross-module optimization. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
cross-module, feedback-directed, inter-procedural, optimization |
24 | Hyunjin Ji, Taeyong Kim |
CLURD: A New Character-Inputting System Using One 5-Way Key Module. |
HCI (3) |
2009 |
DBLP DOI BibTeX RDF |
Character Input, 5-way Key Module, Mobile Device, Wearable Computer, Typing, Keyboard |
24 | Sungmo Jung, Seoksoo Kim |
The Study of Metal Resource Management Module and Process by Analyzing Information. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
Metal Resource management module |
24 | Hidetoshi Kambe, Hiroko Nagamatsu, Hiroyasu Mitsui, Hisao Koizumi, Jun Sawamoto |
A Method of Visualizing Inter-Module Relations to Support Reuse-Based Embedded Software Development. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
embedded software development, reuse-based development, Inter-module dependency |
24 | Seungho Han, Jaikyung Lee, Taehee Lee 0004, Kwangsub Jang |
Parametric Study Using an Integrated Design System to Assess Fatigue Durability of Control Arms in Automobile Suspension Module. |
CSCWD (Selected Papers) |
2007 |
DBLP DOI BibTeX RDF |
FE modeling support system, automobile suspension module, index of fatigue durability, integrated design system |
24 | Vamsi K. Srikantam, N. Ranganathan, Srikanth Srinivasan 0002 |
CREAM: Combined Register and Module Assignment with Floorplanning for Low Power Datapath Synthesis. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
Register and Module Assignment Design for low power, High level synthesis, Low power design, Floorplanning |
24 | Prawat Nagvajara, J. Lin, P. Nilagupta, C. Wang |
Multichip Module Diagnosis by Product-Code Signatures. |
J. Electron. Test. |
1997 |
DBLP DOI BibTeX RDF |
Multichip Module test and diagnosis, built-in self-test, signature analysis, system diagnosis |
24 | 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 |
24 | Larry L. Constantine |
Comments on "On Criteria for Module Interfaces. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
module interfaces, practical criteria, stack interface, software engineering, user interfaces, data structures, structured programming, structured design |
24 | Daniel Hoffman |
On Criteria for Module Interfaces. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
module interfaces, modular software development, software engineering |
24 | Kristjan Jonasson |
Algorithm 892: DISPMODULE, a Fortran 95 module for pretty-printing matrices. |
ACM Trans. Math. Softw. |
2009 |
DBLP DOI BibTeX RDF |
Fortran 95, array programming language, matrix pretty-printing, matrix printing, output utilities |
24 | Yoshihiro Nakabo, Hajime Saito, Takuya Ogure, Seonghee Jeong, Yoji Yamada |
Development of a safety module for robots sharing workspace with humans. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä |
A Module-Based Framework for Multi-language Constraint Modeling. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Hong Liu 0012, Jayathi Raghavan |
A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity. |
ICCS (2) |
2009 |
DBLP DOI BibTeX RDF |
Compartmental Analysis, Query-Based Modeling Process, Kolb Cognitive Complexity, Validation and Verification |
24 | Teerapat Chinapirom, Ulf Witkowski, Ulrich Rückert 0001 |
Vision Module for Mini-robots Providing Optical Flow Processing for Obstacle Avoidance. |
FIRA |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Kan Takeuchi, Atsushi Yoshikawa 0003, Michio Komoda, Ken Kotani, Hiroaki Matsushita, Yusaku Katsuki, YuyoYamamoto, Takao Sato |
Clock-Skew Test Module for Exploring Reliable Clock-Distribution Under Process and Global Voltage-Temperature Variations. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Le Xie 0001, Marija D. Ilic |
Module-Based Modeling of Cyber-Physical Power Systems. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ulrike Ranger, Katja Gruber, Marc Holze |
Defining Abstract Graph Views as Module Interfaces. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Anikó Costa, Luís Gomes 0001 |
Module Composition within Petri Nets Model-based Development. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Shunzo Yamashita, Takanori Shimura, Kiyoshi Aiki, Koji Ara, Yuji Ogata, Isamu Shimokawa, Takeshi Tanaka, Hiroyuki Kuriyama, Kazuyuki Shimada, Kazuo Yano |
A 15 - 15 mm, 1 µA, reliable sensor-net module: enabling application-specific nodes. |
IPSN |
2006 |
DBLP DOI BibTeX RDF |
15 - 15 mm, pulse sensing, standby current of 1 ?A, sensor networks, ZigBee, IEEE 802.15.4, sensor nodes, health care system |
24 | Tan Yan, Shigetoshi Nakatake, Takashi Nojima |
Formulating the Empirical Strategies in Module Generation of Analog MOS Layout. |
ISVLSI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yong Xue, Jianqin Wang, Chaolin Wu, Yincui Hu, Jianping Guo, Lei Zheng, Wei Wan, Guoyin Cai, Ying Luo 0006, Shaobo Zhong |
Information Registry of Remotely Sensed Meta-module in Grid Environment. |
International Conference on Computational Science (3) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yunan Xiang, R. Pettibon, Martin Margala |
A versatile computation module for adaptable multimedia processors. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Soo-Cheol Oh, Seongwoon Kim |
An Efficient Linux Kernel Module supporting TCP/IP Offload Engine on Grid. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Seong-Whan Park, Jai-Kyung Lee, Je-Sung Bang, Byung-Chun Shin |
Development of an e-Engineering Framework for Automotive Module Design. |
CSCWD (Selected papers) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Hérvé Fleury |
Electronic circuit comprising a secret sub-module. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Bruce A. Maxwell, Nathaniel Fairfield, Nikolas Johnson, Pukar Malla, Paul Dickson, Suor Kim, Stephanie Wojtkowski, Thomas S. Stepleton |
A real-time vision module for interactive perceptual agents. |
Mach. Vis. Appl. |
2003 |
DBLP DOI BibTeX RDF |
Robotics, Optical character recognition, Face detection, Real-time vision |
24 | Alexandre Bergel, Stéphane Ducasse, Roel Wuyts |
Classboxes: A Minimal Module Model Supporting Local Rebinding. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
method lookup, class extension, selector namespace, smalltalk, modules, language design |
24 | Stavros Tripakis |
Automated Module Composition. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide |
Dynamic Module Replacement in Distributed Protocols. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Tonella |
Concept Analysis for Module Restructuring. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
modularization, reengineering, abstract data type, legacy systems, encapsulation, restructuring, Concept analysis |
24 | Bruce A. Maxwell, Nathaniel Fairfield, Nikolas Johnson, Pukar Malla, Paul Dickson, Suor Kim |
A Real-Time Vision Module for Interactive Perceptual Agents. |
ICVS |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Yiorgos Makris, Alex Orailoglu |
Channel-Based Behavioral Test Synthesis for Improved Module Reachability. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Daniel P. Van der Velde, Ad J. van de Goor |
Designing a Memory Module Tester. |
MTDT |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Timothy J. Callahan, Philip Chong, André DeHon, John Wawrzynek |
Fast Module Mapping and Placement for Datapaths in FPGAs. |
FPGA |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Shashidhar Thakur, Yao-Wen Chang, Martin D. F. Wong, S. Muthukrishnan 0001 |
Algorithms for an FPGA switch module routing problem with application to global routing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Pavel Curtis, James Rauen |
A Module System for Scheme. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
24 | Tie-Cheng Wang |
Elements of Z-Module Reasoning. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Parisi-Presicce |
Product and Iteration of Module Specifications. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Alex Meystel |
Intelligent Module for Planning/Control of Master-dependent Systems. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Rajiv Jain, Alice C. Parker, Nohbyung Park |
Module Selection for Pipelined Synthesis. |
DAC |
1988 |
DBLP BibTeX RDF |
|
24 | Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum |
Algebraic Theory of Module Specification with Constraints. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Klaus Kursawe, Dries Schellekens |
Flexible muTPMs through disembedding. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
mobile trusted module, secure coprocessor, trusted computing, trusted platform module |
23 | Chao-Ju Hou, Kang G. Shin |
Allocation of Periodic Task Modules with Precedence and Deadline Constraints. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
task/module allocation, module scheduling, precedence and deadline constraints, task flow graph, branch-and-bound process, Real-time systems, dynamic failure |
23 | Peter Kornerup |
A Systolic, Linear-Array Multiplier for a Class of Right-Shift Algorithms. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
systolic linear-array multiplier, right-shift algorithms, multiplier cell, digit-product terms, least significant digit first, active elements, module-multiplier, Montgomery module-reduction, RSA encryption, modular division, cryptography, logic design, systolic arrays, systolic array, digital arithmetic, multiplying circuits, latches, modular inverses, Hensel codes, digit-serial multiplier |
23 | Yabo Wang, David Lorge Parnas |
Simulating the Behaviour of Software Modules by Trace Rewriting. |
ICSE |
1993 |
DBLP BibTeX RDF |
formal specification method, module interface specification, module simulation, trace assertion method, software tool, finite state machine, term rewriting |
23 | Theodore F. Tabloski, Frederic J. Mowle |
A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Implicitly exhaustive search, logic design automation, minimization algorithm, modular logic arrays, multiplexer universal logic module (MULM), Shannon's expansion, universal logic module (ULM), multiplexer, numerical technique |
23 | Tiu Le Van, Noël van Houtte |
Delayed Universal Logic Modules and Sequential Machine Synthesis. |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
Accepted sequence, component machine, delayed universal logic module, distributed logic, inverse binary tree, nondeterministic automaton, reversed machine, simple synthesis, transition map, 2n-in-1 multiplexer, universal logic module, decomposition, sequential machine |
23 | Hans Heymans, Isar Stubbe |
Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale |
23 | Yu Zhang 0003, Tao Li, Jia Sun, Renchao Qin |
A Novel Immune Based Approach for Detection of Windows PE Virus. |
ADMA |
2008 |
DBLP DOI BibTeX RDF |
computer immune system, PE virus detection, relocation module, virus gene pool |
23 | Ali Azadeh, Z. S. Faiz |
Integration of Ann MLP and computer simulation for intelligent design of queuing systems. |
SCSC |
2007 |
DBLP BibTeX RDF |
learning module, ANN, knowledge-base, MLP, queuing |
23 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster |
Modular information hiding and type-safe linking for C. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
C, information hiding, type-safety, module systems |
23 | Zhuo Wang, Xin-Guang Zhu, Yazhu Chen, Yi-Xue Li, Lei Liu |
Comparison of Modularization Methods in Application to Different Biological Networks. |
VDMB |
2006 |
DBLP DOI BibTeX RDF |
Markov clustering (MCL), network, simulated annealing (SA), module |
23 | Taghi M. Khoshgoftaar, Edward B. Allen |
Ordering Fault-Prone Software Modules. |
Softw. Qual. J. |
2003 |
DBLP DOI BibTeX RDF |
module-order model, software reliability, software quality models, fault-prone modules, multiple linear regression |
23 | Magnus Almgren, Ulf Lindqvist |
Application-Integrated Data Collection for Security Monitoring. |
Recent Advances in Intrusion Detection |
2001 |
DBLP DOI BibTeX RDF |
Intrusion detection, application, Web server, module, application-integrated, Apache |
23 | Minoru Uehara |
Fault tolerant computing in computational field model. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
computational field model, triple module redundancy, resource allocation, fault tolerant computing, fault tolerant computing, system performance, large scale distributed systems, shared virtual space |
23 | Amir A. Khwaja |
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool |
23 | Robert C. Burnett |
A Trade-off Method between Cost and Reliability. |
SCCC |
1997 |
DBLP DOI BibTeX RDF |
cost/reliability trade-off method, software module development cost estimation, target reliability level, modular software system design phase, operational reliability, software testing phase, fault estimation, project management, software reliability, requirement specification, subroutines, decomposition technique, historical data |
23 | Wang-Dauh Tseng, Kuochen Wang |
Testable Design and Testing of MCMs Based on Multifrequency Scan. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
boundary scan architecture, multifrequency test, smart substrate, technology mixed, design for testability, VHDL, multichip module |
23 | Daniel L. Swets, Bill Punch, Juyang Weng |
Genetic algorithms for object recognition in a complex scene. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
computer vision module, environmental parameters, preprocessing step, genetic algorithms, genetic algorithms, computer vision, image segmentation, image segmentation, object recognition, object recognition, search problems, search technique, complex scene |
23 | Dimitrios Karayiannis, Spyros Tragoudas |
Uniform area timing-driven circuit implementation. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
circuit module, cell library, input-output paths, overall area, timing-driven circuit implementation, computational complexity, heuristics, CAD, delays, timing, sequential circuits, sequential circuits, NP-hard, directed graphs, combinational circuits, combinational circuits, logic CAD, polynomial time algorithm, directed acyclic graphs, circuit CAD, cellular arrays, propagation delay |
23 | Krzysztof Krawiec, Bartosz Wieloch |
Functional modularity for genetic programming. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
genetic programming, modularity, problem decomposition |
23 | Cal Collins, Sergey Demidenko, Shakib Mostafa |
Isovera digital library. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
collection management, oai-phm, digital library, metadata, learning objects, software as a service, peer review, harvesting |
23 | Jingmin Xie, Xiaojun Ye, Bin Li, Feng Xie |
A Configurable Web Service Performance Testing Framework. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Xueqian Wang 0001, Bin Liang 0001, Cheng Li 0015, Wenfu Xu |
The Ground-based Validation Technology of Teleoperation for Space Robot. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 13304 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|