|
|
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 |
17 | X. Dong |
Canonical Modules of Semigroup Rings and a Conjecture of Reiner. |
Discret. Comput. Geom. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
Interface Compatibility Checking for Software Modules. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
17 | Garry Briscoe |
Interacting Neural Modules. |
IEA/AIE |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Robin N. Banerjee, Andrés Bujosa |
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. |
FoIKS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Helmut Röhrl |
Convexity Theories VII. Discrete Gamma-Convex Modules. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
discrete -convex module, join semilattice, Klein-Hilbert relation |
17 | Joachim Apel |
Passive Complete Orthonomic Systems of PDEs and Involutive Bases of Polynomial Modules. |
SNSC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Robert Penchovsky, John S. McCaskill |
Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules. |
DNA |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Dominic Duggan |
Type-Based Hot Swapping of Running Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
module interconnection languages, dynamic typing, shared libraries, hot swapping |
17 | Pasi Liljeberg, Juha Plosila, Jouni Isoaho |
Asynchronous interface for locally clocked modules in ULSI systems. |
ISCAS (4) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jan Thalheim, Norbert Felber, Wolfgang Fichtner |
A new approach for controlling series-connected IGBT modules. |
ISCAS (3) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno |
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
Testing priority, Design of testing specification, Software testing |
17 | Allen E. Sjogren, Chris J. Myers |
Interfacing synchronous and asynchronous modules within a high-speed pipeline. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
17 | J. B. Wells, René Vestergaard |
Equational Reasoning for Linking with First-Class Primitive Modules. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Michel Renovell, Jean-Michel Portal, Joan Figueras, Yervant Zorian |
SRAM-Based FPGAs: Testing the Embedded RAM Modules. |
J. Electron. Test. |
1999 |
DBLP DOI BibTeX RDF |
FPGA, test, ATPG, RAM, iterative testing |
17 | Michael Siff, Thomas W. Reps |
Identifying Modules via Concept Analysis. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
reverse engineering, modularization, Concept analysis, design recovery, software restructuring, software migration |
17 | Javier Campos, Susanna Donatelli, Manuel Silva Suárez |
Structured Solution of Asynchronously Communicating Stochastic Modules. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
performance analysis, Petri net models, Kronecker algebra, structural decomposition |
17 | Monica Brockmeyer |
Using Modechart Modules for Testing Formal Specifications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, testing, formal methods, specification |
17 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Refinements and Modules for Typed Graph Transformation Systems. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Frank Mayer, Albrecht P. Stroele |
Configuring Arithmetic Pattern Generators and Response Compactors from the RT-Modules of a Circuit. |
Asian Test Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
17 | James Hwang, Cameron Patterson, S. Mohan, Eric Dellinger, Sujoy Mitra, Ralph Wittig |
Generating Layouts for Self-implementing Modules. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Paul Curzon, Janet Rix |
Why do students take programming modules? |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
changing motivations, programming |
17 | Hiroshi Murata, Ernest S. Kuh |
Sequence-pair based placement method for hard/soft/pre-placed modules. |
ISPD |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Allen E. Sjogren, Chris J. Myers |
Interfacing Synchronous and Asynchronous Modules Within a High-Speed Pipeline. |
ARVLSI |
1997 |
DBLP DOI BibTeX RDF |
Mixed synchronous/asynchronous interfacing, stoppable clocks, high-speed pipelines, globally synchronous locally asynchronous, metastability, synchronization failure |
17 | 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 |
17 | Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars |
Reusable Coordinator Modules for Massively Concurrent Applications. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Saileshwar Krishnamurthy, Aditya P. Mathur |
On predicting reliability of modules using code coverage. |
CASCON |
1996 |
DBLP BibTeX RDF |
|
17 | Jeff Richey |
Condition Handling in SQL Persistent Stored Modules. |
SIGMOD Rec. |
1995 |
DBLP DOI BibTeX RDF |
SQL |
17 | Jens Lienig, Holger Brandt |
An Evolutionary Algorithm for the Routing of Multi-Chip Modules. |
PPSN |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Maria-Virginia Aponte |
Extending Record Typing to Type Parametric Modules with Sharing. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Standard ML |
17 | Vanio M. Savi, Xiaolan Xie |
Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Bradley K. Seevers, Michael J. Quinn, Philip J. Hatcher |
A Parallel Programming Environment Supporting Multiple Data-Parallel Modules. |
SIGPLAN Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Martin D. F. Wong, Mohankumar Guruswamy |
Channel ordering for VLSI layout with rectilinear modules. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Brian T. Murray, John P. Hayes |
Hierarchical test generation using precomputed tests for modules. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
17 | John D. Gannon, Richard G. Hamlet, Harlan D. Mills |
Functional Semantics of Modules. |
TAPSOFT, Vol.2 |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Francisco-Javier Lopez, Carlos Cano, Fernando García-Alcalde, Armando Blanco |
A Fuzzy Approach for Studying Combinatorial Regulatory Actions of Transcription Factors in Yeast. |
IDEAL |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy itemsets, regulatory modules, transcription factors, yeast |
17 | Catherine Hu, Kinsun Tung, Lawrence Lau |
Music Wall: A Tangible User Interface Using Tapping as an Interactive Technique. |
APCHI |
2008 |
DBLP DOI BibTeX RDF |
Acoustic sensing modules, Tangible user interface, Interactive surfaces, Input/output device, Interaction method |
17 | Michael Pedersen, Gordon D. Plotkin |
A Language for Biochemical Systems. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
parametrised modules, subtyping, coloured Petri nets, Large-scale |
17 | Viktor Levandovskyy, Jorge Martín-Morales |
Computational D-module theory with singular, comparison with other systems and two new algorithms. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
bernstein-sato polynomial, intersection with subalgebra, non-commutative groebner bases, preimage of ideal, annihilator, groebner bases, D-modules |
17 | 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 |
17 | James Alfred Walker, Julian Francis Miller |
Solving real-valued optimisation problems using cartesian genetic programming. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
embedded cartesian genetic programming, real-valued function optimisation, modules, evolutionary programming, cartesian genetic programming |
17 | Hammad Majeed, Conor Ryan |
Context-aware mutation: a modular, context aware mutation operator for genetic programming. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
cascaded run, context-aware crossover, cache, context, modules, fitness, crossover, constructive, building blocks |
17 | Bor-Yeh Shen, Mei-Ling Chiang |
A Server-Side Pre-linking Mechanism for Updating Embedded Clients Dynamically. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
LyraOS, Embedded System, Operating System, Modules, Dynamic Update |
17 | Rui-Sheng Wang, Yong Wang 0001, Xiang-Sun Zhang, Luonan Chen |
Detecting Community Structure in Complex Networks by Optimal Rearrangement Clustering. |
PAKDD Workshops |
2007 |
DBLP DOI BibTeX RDF |
optimal rearrangement clustering, Complex networks, community structure, protein interaction network, functional modules |
17 | Tiago Soares, Ricardo Rocha 0001, Michel Ferreira |
Generic Cut Actions for External Prolog Predicates. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Prolog Systems Implementation, External Modules, Pruning |
17 | Andreas Rossberg |
The missing link: dynamic components for ML. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
pickling, components, distributed programming, modules, separate compilation, dynamic typing, dynamic linking, units |
17 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: high-level programming language design for distributed computation. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
17 | Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode |
On Automated Lesson Construction from Electronic Textbooks. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks |
17 | Paul Flondor, Ioana Leustean |
Tensor products of MV-algebras. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Free MV-modules, Interval MV-algebra, Tensor product |
17 | Trevor M. Murphy, Mika Hirai |
Teaching with technology, setting an example. |
SIGUCCS |
2003 |
DBLP DOI BibTeX RDF |
electronic portfolios, learning modules, web portfolio, multimedia, education, animation, video, pedagogy, audio, technology |
17 | 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 |
17 | 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 |
17 | Mark Baker, Hong Ong |
A Java embedded micro-kernel infrastructure. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
communication API, Java, modules, JNI, micro-kernel |
17 | Andreas Brandstädt |
On Robust Algorithms for the Maximum Weight Stable Set Problem. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
Maximum Weight Stable Set Problem on graphs, modules and homogeneous sets in graphs, graph structure, clique width, robust algorithms, prime graphs |
17 | Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto |
A GUI and testing tool for SOFL. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method |
17 | Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis |
SPIRIT-μKernel for strongly partitioned real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling |
17 | Matthias Blume, Andrew W. Appel |
Hierarchical modularity. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
compilation management, name visibility, modularity, modules, linking, program structure |
17 | Dar-Tzen Peng, Kang G. Shin, Tarek F. Abdelzaher |
Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Branch-and-bound (B&B) algorithm, computation and communication modules, precedence and timing constraints, task invocation and release times, lower-bound cost, intertask communication |
17 | Jeffrey K. Hollingsworth, Barton P. Miller, M. J. R. Goncalves, Oscar Naim, Zhichen Xu, Ling Zheng |
MDL: A Language and Compiler for Dynamic Program Instrumentation. |
IEEE PACT |
1997 |
DBLP DOI BibTeX RDF |
dynamic program instrumentation, running programs, instrumentation code, PA-RISC, Power 2 architecture, Alpha architecture, x86 architecture, Metric Description Language, Paradyn Parallel Performance Tools, platform independent descriptions, message channels, modules, MDL, nodes, procedures, application program, compiler generators, SPARC, files, dynamic code generation, performance data |
17 | Rogardt Heldal, John Hughes 0001 |
Partial Evaluation and Separate Compilation. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
partial evaluation, modules, separate compilation |
17 | William E. Howden |
Systems testing and statistical test data coverage. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
statistical test data coverage, unit modules, systems level coverage, reliability, software reliability, systems testing |
17 | D. C. R. Jensen, Jan Madsen, Steen Pedersen |
The importance of interfaces: a HW/SW codesign case study. |
CODES |
1997 |
DBLP DOI BibTeX RDF |
hardware software interface, case study, image sequences, optical flow, image analysis, hardware software codesign, prototype system, optimal solutions, functional modules, system level |
17 | Junghoon Lee, Seungjun Park |
Design of a DAVIC residential network based on Ethernet. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
DAVIC residential network, cable length, telecom traffic, deadline meet ratio, queue discrimination, packet discard, hardware interfaces, cost-effective residential network, simulation, scheduler, performance, local area networks, video stream, bandwidth, multimedia communication, Ethernet, device driver, real-time traffic, connection manager, software modules |
17 | Michael Stillger, Johann K. Obermaier, Johann Christoph Freytag |
AQuES: An Agent-based Query Evaluation System. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
AQuES, agent-based query evaluation system, heterogeneous hardware modules, agent-based query optimization, independent data parallelism, dynamic execution strategies, distributed symmetric processes, distributed query execution, parallel algorithms, distributed databases, distributed database, cooperative system, resource scheduling, parallel database, runtime, algebra operators, database optimization |
17 | Raghava V. Cherabuddi, Magdy A. Bayoumi, H. Krishnamurthy |
A low power based system partitioning and binding technique for multi-chip module architectures. |
Great Lakes Symposium on VLSI |
1997 |
DBLP DOI BibTeX RDF |
binding technique, multi-chip module architectures, high-level synthesis framework, inter-chip buses, stochastic evolution based technique, multichip modules, switching activity, MCM, functional units, system partitioning, benchmark designs |
17 | 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 |
17 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
A new compositional method for condensed state-space verification. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion |
17 | Günther Ruhe |
Rough Set Based Data Analysis in Goal Oriented Software Measurement. |
IEEE METRICS |
1996 |
DBLP DOI BibTeX RDF |
Software Engineering data analysis, managing uncertainty, criticality of modules, COCOMO cost drivers, Rough Sets, learning by example, goal-oriented measurement |
17 | Yi-Jing Lin, Steven P. Reiss |
Configuration Management with Logical Structures. |
ICSE |
1996 |
DBLP BibTeX RDF |
cooperative programming, prototype environment, programming environments, software reuse, software design, software reusability, modules, functions, configuration management, source code, computer aided software engineering, versions, classes, files, directories, logical structures |
17 | Elias N. Houstis, Anupam Joshi, Mikhail J. Atallah, Sanjiva Weerawarana, Ahmed K. Elmagarmid |
Internet, education, and the Web. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
Internet-based telelearning, video-based distance learning, Global Information Infrastructure, educational paradigm, self-paced learning, examination-on-demand, programmed educational modules, difficulty level, learning-disabled students, teaching aids, integrated notebook interface, virtual introductory programming course, Internet, World Wide Web, multimedia, adaptivity, interactivity, information technology, information access, information searching |
17 | Byoung-Seok Park, Sung-Chun Kim |
Design and Analysis of a New Fast Packet Switching Fabric Supporting Multimedia Traffic. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
fast packet switching fabric, ATM switch architecture, output queueing, switch analysis, FAB Banyan switching fabrics, Batcher sorter, double shuffle network, packet distributors, FAB networks, output buffer modules, compressed video data, performance evaluation, throughput, packet switching, hardware implementation, voice, multimedia traffic, packet delay, switch design, packet loss probability, text data |
17 | Sukumar Nandi, Parimal Pal Chaudhuri |
Theory and applications of cellular automata for synthesis of easily testable combinational logic. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
testable combinational logic, combinational logic blocks, test machine, data path synthesis phase, autonomous mode, aliasing error probability, associated lines, test application overheads, test parallelism, simultaneous testing, multiple combinational modules, graph theory, fault diagnosis, logic testing, high level synthesis, test generation, cellular automata, cellular automata, design for testability, combinational circuits, logic CAD, stuck-at faults, shift registers, cost effectiveness, registers, test vectors, test responses, state transition graph |
17 | Michel Renovell, Florence Azaïs, Yves Bertrand |
A design-for-test technique for multistage analog circuits. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
design-for-test technique, multistage analog circuits, DFT approach, op-amp-based modules, testability resources, transparent paths, external I/O, local I/O, test mode, on-chip digital resources, analog response penalty, controllability, controllability, integrated circuit testing, design for testability, observability, observability, mixed-signal circuits, mixed analogue-digital integrated circuits, test management, production testing |
17 | Milos D. Ercegovac, Tomás Lang |
Sign detection and comparison networks with a small number of transitions. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
comparison networks, signal transitions, iterative implementation, k-bit modules, digital arithmetic, flip-flops, tree network, sign detection |
17 | Anna M. del Corral, José M. Llabería |
Access order to avoid inter-vector-conflicts in complex memory systems. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
access order, inter-vector-conflicts, complex memory systems, vector processor accessing vectors, concurrent memory access, inter-conflicts, performance evaluation, performance, vector processor systems, memory subsystem, memory modules |
17 | Markus Schwiegershausen, Peter Pirsch |
A system level design methodology for the optimization of heterogeneous multiprocessors. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
parametrizable processor modules, programmable processors, system level design methodology, optimization, real-time systems, image processing, linear programming, optimisation, integer programming, multiprocessing systems, heterogeneous systems, mixed integer linear programming, CAD tool, image processing algorithms, heterogeneous multiprocessors, mathematical framework |
17 | Andrew A. Hanish, Tharam S. Dillon |
Object-oriented modelling of communication protocols for re-use. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol |
17 | Guillermo Maturana, James L. Ball, Jeffery Gee, Amaresh Iyer, J. Michael O'Connor |
Incas: a cycle accurate model of UltraSPARC. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
cycle accurate model, UltraSPARC, Incas, message-passing mechanism, simulating concurrent modules, performance evaluation, C++, virtual machines, logic testing, microprocessor chips, performance estimates, diagnostics, tuning, RTL simulations, processor verification |
17 | Kala Srivatsan, Chaitali Chakrabarti, Lori Lucke |
Low power data format converter design using semi-static register allocation. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
code convertors, low power data format converter design, semi-static register allocation, processing modules, VLSI, linear programming, integer programming, signal processing, digital signal processing, power consumption, integer linear programming, heuristic programming, heuristic programming, VLSI implementations |
17 | Thomas Wolff |
Transparently distributing objects with inheritance. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
transparent object distribution, language heterogeneity, auxiliary objects, stub modules, program distribution, remote objects, split objects, remote inheritance, object-oriented programming, object-oriented programs, distributed processing, inheritance, object classes |
17 | J. T. Mowchenko, Y. Yang |
Optimizing wiring space in slicing floorplans. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
wiring space optimisation, slicing floorplans, net density, sibling rectangles, circuit modules, routed layouts, VLSI, heuristic, network routing, circuit layout CAD, circuit optimisation, integrated circuit layout, branch and bound algorithm, wiring, IC layout |
17 | V. Visvanathan, S. Ramanathan |
A modular systolic architecture for delayed least mean squares adaptive filtering. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
modular systolic architecture, delayed least mean squares adaptive filtering, coefficient adaptation, input sampling periods, output latency, convergence behavior, systolization technique, maximum sampling rate, multiply-accumulate processor modules, systolic arrays, pipeline processing, adaptive filters, convergence of numerical methods, least mean squares methods |
17 | William L. Bradley, Ranga Vemuri |
Transformations for functional verification of synthesized designs. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
low-level functional verification, synthesized designs, clocking mechanisms, provably equivalent model, hierarchical network of modules, reduced state set, de-phase transform, align transform, algorithm, formal verification, transforms, transforms, logic CAD, clocks, hierarchical system, reachable states |
17 | Denis Avrilionis, Pierre-Yves Cunin |
Using views to maintain Petri-net-based process models. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
Petri-net-based process model maintenance, quality aspects, real software-production process, sub-model, participant perception, abstract modules, formally defined operators, Process Weaver modelling language, review process model, view evolution, view composition, Petri nets, software maintenance, software tools, software quality, programming environments, products, views, maintainability, computer aided software engineering, software process model, activities, simulation languages, project support environments, process model change |
17 | 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 |
17 | Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha |
A constraint function classification for complex systems development. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development |
17 | Steve Vestal |
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
fixed-priority sensitivity analysis, linear computation time models, scheduling discipline, hard real-time periodic tasks, task scheduling feasibility, real-time verification, real-time benchmarking, real-time architectures, scheduling, real-time systems, computational complexity, formal verification, software components, real-time scheduling, sensitivity analysis, modules, schedulability analysis, software development process, rate monotonic scheduling, task decomposition, fixed-priority preemptive scheduling, uniprocessor |
17 | Alain Cournier, Michel Habib |
A New Linear Algorithm for Modular Decomposition. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
autonomous subsets, clans, graph decomposition trees, vertex-splitting. cotrees, Graphs, modules, substitution, cographs, prime graphs |
17 | Chita R. Das, Prasant Mohapatra, Lei Tien, Laxmi N. Bhuyan |
An Availability Model for MIN-Based Multiprocessors. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
MIN-based multiprocessors, task-based availability, HARP, steady state availabilities, transient availabilities, simulation, multiprocessor interconnection networks, Markov processes, multistage interconnection network, software package, processing elements, memory modules, availability model |
17 | Chen-Chau Chu, Jake K. Aggarwal |
The Integration of Image Segmentation Maps using Region and Edge Information. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
image segmentation maps, region/edge maps, region segmentation modules, edge pixels, contour curvature, contour smoothing, multiscale processing, image segmentation, probability, edge detection, edge detection, optimisation, iterative methods, information integration, maximum likelihood estimator, filtering and prediction theory, iterative procedure |
17 | Imadeldin O. Mahgoub, Ahmed K. Elmagarmid |
Performance Analysis of a Generalized Class of M-Level Hierarchical Multiprocessor Systems. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
hierarchical multiprocessor systems, system bandwidth, hierarchically nonuniform reference, local requests, m-level system, crossbar system, performance evaluation, performance analysis, probability, multiprocessing systems, multiprocessorinterconnection networks, memory modules, multiple-bus system |
17 | John C. Munson, Taghi M. Khoshgoftaar |
The Detection of Fault-Prone Programs. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
fault-prone programs, principal-components procedure, simple multicollinear complexity metrics, uncorrelated measures, orthogonal complexity domains, group determination, large commercial systems, deliberately biased data, metric values, relatively low error rate, program modules, computational complexity, software metrics, software reliability, program testing, discriminant analysis, quality control, quality measure, statistical technique, linear regression models |
17 | James R. Cordy, Nicholas L. Eliot, Michael G. Robertson |
TuringTool: A User Interface to Aid in the Software Maintenance Task. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
software maintenance task, source program, editing system, TuringTool, single comprehensive viewing paradigm, source text elision, large source programs, structural views, nonstructural views, dynamic creation, complex programmer-specified views, simple set theoretic operators, Turing programming language, seamless viewing, separately compiled source modules, uniform source, software engineering, user interface, user interfaces, programming environments, high level languages, program development environments |
17 | Mark Moriconi, Timothy C. Winkler |
Approximate Reasoning About the Semantic Effects of Program Changes. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
semantic effects, program changes, logical technique, direct analysis, parametrized modules, structural interpretation, formal specification, program verification, inference mechanisms, approximate reasoning, procedures, inference system, global variables |
17 | Gregor von Bochmann, Rachida Dssouli, J. R. Zhao |
Trace Analysis for Conformance and Arbitration Testing. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI |
17 | Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin |
On Distributing JASMIN's Optimistic Multiversioning Page Manager. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules |
17 | Scott E. Hudson, Roger King |
The Cactis Project: Database Support for Software Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
database support, Cactis, load modules, software versions, object-oriented, program transformations, programming environments, database management system, database management systems, program compilations, program compilers, semantic models, project schedules, software environments, software configurations |
Displaying result #401 - #500 of 11069 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|