Search results for "modules"

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