Search results for "multiprocessing programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Real-time multi-tasking in software synthesis for information processing systems.	ISSS	1995	DBLP DOI BibTeX RDF	automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
1	Radu Negulescu, Janusz A. Brzozowski	Relative liveness: from intuition to automated verification.	ASYNC	1995	DBLP DOI BibTeX RDF	relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification
1	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
1	Brian M. Carlson, Lawrence W. Dowdy	Static Processor Allocation in a Soft Real-Time Multiprocessor Environment.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	static processor allocation, soft real-time multiprocessor environment, parallelenvironment, static allocation policies, equal partitions, two partitions, 16-node iPSC/2hypercube, real-time systems, resource allocation, hypercube networks, multiprocessing programs
1	Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa	Scheduling DAG's for Asynchronous Multiprocessor Execution.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	asynchronous multiprocessor execution, sequential instructionstream, execution costs, datadependencies, Data General shared memory multiprocessor system, scheduling, scheduling, parallel programming, parallelism, concurrency, shared memory systems, DAG, communication costs, instruction sets, multiprocessing programs, fine grained parallelism
1	C. Selvakumar, C. Siva Ram Murthy	Scheduling Precedence Constrained Task Graphs with Non-Negligible Intertask Communication onto Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	precedence constrained task graphs, scheduling, parallel algorithms, computational complexity, parallel program, graph theory, multiprocessors, multiprocessing systems, heuristic algorithm, heuristic programming, list scheduling, communication channels, multiprocessing programs, completion time, multiprocessor interconnectionnetworks, intertask communication, multiprocessor scheduling problem
1	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
1	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
1	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
1	Mayez A. Al-Mouhamed	Analysis of Macro-Dataflow Dynamic Scheduling on Nonuniform Memory Access Architectures.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	macro-dataflow dynamic scheduling, nonuniform memory access architectures, computational tasks, least-communication, finish time, first-come first-served scheduling, scheduling, computational complexity, parallel programming, parallel architectures, time complexity, granularity, communication costs, data transfer, multiprocessing programs, scheduling heuristic
1	Ramesh Krishnamurti	An Approximation Algorithm for Scheduling Tasks on Varying Partition Sizes in Partitionable Multiprocessor Systems.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	parameter dependent bound, asymptotically tight bound, partition sizes, partitionable multiprocessor systems, multiple partitions, minimum completion time schedule, worst-case performance bound, scheduling, parallel algorithms, computational complexity, approximation algorithm, parallelization, controller, multiprocessing systems, NP-hard, task scheduling, polynomial time algorithm, processors, multiprocessing programs
1	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
1	Robert F. Cmelik, Narain H. Gehani, William D. Roome	Experience with Multiple Processor Versions of Concurrent C.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multiple processor versions, uniprocessor version, parallel programming, parallel programming, local area network, local area networks, multiprocessing systems, shared-memory multiprocessor, execution times, C language, Concurrent C, multiprocessing programs
1	Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang	Experience with Charlotte: Simplicity and Function in a Distributed Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software
1	Lionel M. Ni, Ching-Farn Eric Wu	Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	hill climbing simulation, software bottleneck, monitor bottleneck, low process utilization, load imbalancing, memory requests, fixed monitor selection, supervisory programs, scheduling, performance evaluation, performance evaluation, multiprocessing systems, process scheduling, multiprocessing programs, shared memory multiprocessor systems
1	Cui-Qing Yang, Barton P. Miller	Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	automatic approach, performance measurement systems, performance information, automatic guidance techniques, program efficiency, performance evaluation, parallel programs, software reliability, program testing, distributed programs, hierarchical model, multiprocessing programs, IPS, performance problems
1	K. H. Kim	Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	programmer transparent coordination, storage reduction, recovering concurrent processes, error direction, intelligent processor system, process rollback, minimum-distance rollback, supervisory programs, data structures, data structures, fault tolerant computing, error detection, programming theory, system recovery, system recovery, multiprocessing programs, recovery block, language construct, time overhead
1	Branislav Meandzija	Archetype: A Unified Method for the Design and Implementation of Protocol Architectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data-driven concurrent execution model, abstract protocol architecture specifications, performance constraints, X.25-level 3-like protocol, protocols, data structures, data structures, natural languages, automatic programming, automatic programming, protocol design, automated design, multiprocessing programs, simulation languages, protocol architectures, specification technique, Archetype