Search results for "operating systems (computers)"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Bülent Abali, Craig B. Stunkel	Time synchronization on SP1 and SP2 parallel systems. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	SP2 parallel system, SP1 parallel system, experimental time utility, operating system clocks, node clocks, synchronous feature, parallel program performance measurement, parallel program tuning, parallel program tracing, parallel program debugging, parallel processes, interconnection network, multiprocessor interconnection networks, multiprocessor interconnection networks, parallel machines, parallel machines, synchronisation, synchronisation, processor scheduling, processor scheduling, software performance evaluation, software performance evaluation, program debugging, program debugging, clocks, clocks, operating systems (computers), operating systems (computers), time synchronization, gang scheduling, reduced instruction set computing, reduced instruction set computing
1	Henry Haverinen, Antti Kuikka, Tuomas Määttänen	A Portable Mobile IP Implementation. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	portable mobile IP implementation, TCP/IP stack, porting-friendly implementation, generic implementation, software architecture, software architecture, operating system, Linux, transport protocols, Internet protocol, operating systems (computers), protocol implementations, land mobile radio, Windows CE, Windows 2000
1	Boon Peng Lee, Rajesh Krishna Balan, Lillykutty Jacob, Winston Khoon Guan Seah, Akkihebbal L. Ananda	TCP Tunnels: Avoiding Congestion Collapse. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	TCP tunnels, congestion collapse avoidance, TCP circuits, IP packets, congestion control mechanism, UDP flows, Intel PC, IP traffic, RFC2309 recommendation, random early drop, default packet-drop policy, Internet, Internet, TCP/IP, transport protocols, queueing theory, packet switching, testbed, operating systems (computers), telecommunication network routing, bandwidth allocation, telecommunication traffic, packet loss, telecommunication congestion control, traffic generators, microcomputer applications, Internet routers, backbone networks, Linux operating system
1	Nobuo Matsushita	Preliminary Study of SNMP Impact on a Target Device. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	network-connected PC, Linux system, Internet, Internet, protocols, network management, operating systems (computers), SNMP, computer network management, microcomputer applications, network devices
1	Seungwoo Son, Chaedeok Lim, Heung-Nam Kim	Debugging protocol for remote cross development environment.	RTCSA	2000	DBLP DOI BibTeX RDF	debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
1	Andrés Terrasa, Ana García-Fornes, Vicente J. Botti	Including user-defined timing exception support in FRTL.	RTCSA	2000	DBLP DOI BibTeX RDF	user-defined timing exception support, FRTL, flexible hard real-time systems, task deadlines, Flexible Real-Time Linux, CPU consumption, real-time systems, Unix, exception handling, worst-case execution time, operating systems (computers), run-time system, feasibility test
1	Lothar Baum, Martin Becker	Generic Components to Foster Reuse.	TOOLS	2000	DBLP DOI BibTeX RDF	software development efficiency, project-specific aspects, reusable component contribution, inefficient general solutions, niche requirements, specifically optimized designs, requirements space, adaptable generic components, automatic component instantiation, embedded systems, software tools, software tools, abstraction, software reuse, software components, software reusability, computer aided software engineering, operating systems (computers), subroutines, embedded operating systems
1	Mohlalefi Sefika, Aamod Sane, Roy H. Campbell	Monitoring Compliance of a Software System with Its High-Level Design Models.	ICSE	1996	DBLP BibTeX RDF	/spl mu/Choices, coding guidelines, complex software system evolution, concrete rules, design-implementation congruence, documented design models, high cohesion, high-level design models, hybrid computer-assisted approach, implementation divergence, logic-based static analysis, low coupling, multimedia operating system, multiple code view, software system compliance monitoring, subjective design principles, software engineering, design patterns, monitoring, conformance testing, operating systems (computers), multimedia computing, connectors, architectural models, abstraction levels, dynamic visualization
1	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
1	Cezary Dubnicki, Liviu Iftode, Edward W. Felten, Kai Li	Software Support for Virtual Memory-Mapped Communication. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF	virtual memory-mapped communication, virtual address space, full protection, user-level buffer management, zero-copy protocols, software communication overhead, SHRIMP project, hardware performance, Pentium personal computer, user-to-user latency, peak hardware bandwidth, 23 MB/s, performance evaluation, software architecture, operating system, application program interfaces, application program interface, client-server systems, operating systems (computers), data transfer, network interfaces, network interfaces, communication model, virtual storage, microcomputers, data handling
1	Michael Gerndt	"Programming Shared Virtual Memory Multiprocessor".	PDP	1996	DBLP DOI BibTeX RDF	shared virtual memory multiprocessors, compute intensive scientific applications, physical memory distribution, message passing programming model, task parallel programming model, shared virtual address space, parallel programming, parallel programming, operating system, message passing, parallel machines, parallel machines, shared memory systems, distributed memory systems, operating systems (computers), virtual storage
1	Wolfgang K. Giloi, Ulrich Brüning, Wolfgang Schröder-Preikschat	MANNA: Prototype of a Distributed Memory Architecture with Maximized Sustained Performance.	PDP	1996	DBLP DOI BibTeX RDF	maximized sustained performance, compiler problem, innovative architectural solutions, overlapping communication, MANNA computer, benchmark performance, performance evaluation, parallel computers, operating system, parallel machines, distributed memory systems, parallelizing compilers, operating systems (computers), programmability, virtual storage, parallelising compilers, latency hiding, distributed memory parallel computer, distributed memory architecture, virtual shared memory, global address space, superscalar microprocessors
1	Ashish Mehra, Atri Indiresan, Kang G. Shin	Resource management for real-time communication: making theory meet practice. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	host CPU, link resources, channel admissibility, resource capacity, implementation paradigms, admission control procedure, resource preemption overheads, link bandwidth, CPU bandwidth allocation, real-time systems, resource allocation, distributed processing, resource management, packet switching, operating systems (computers), real-time communication, network operating systems, packet-switched networks, computer network management, telecommunication congestion control, telecommunication channels, real-time channels
1	Neil C. Audsley, Andy J. Wellings	Analysing APEX applications. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	APEX applications, civil aircraft, Integrated Modular Avionics, standard operating system interface, two-level scheduling scheme, statically generated cyclic schedule, release jitter, real time systems, response times, operating systems (computers), fixed priority scheduling
1	Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer	Enforcing management policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	management policies, formally definable management policies, platform independent management architecture, clerical management tasks, object-oriented class structure, rule execution, automated management tool invocation, automated policy management, object-oriented programming, resource allocation, open systems, processor scheduling, operating systems (computers), network operating systems, computer network management, production rules, open distributed systems, distributed systems management, middleware platforms
1	Mark Aldred, Ilya Gertner, Stephen McKellar	A distributed lock manager on fault tolerant MPP .	HICSS	1995	DBLP DOI BibTeX RDF	distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers)
1	Mark Russinovich, Zary Segall	Application-transparent checkpointing in Mach 3.O/UX.	HICSS	1995	DBLP DOI BibTeX RDF	application-transparent checkpointing, Mach 3/UX, software based recovery techniques, virtual memory checkpointing algorithms, concurrent Unix applications, stable storage medium, snapshot algorithm execution, checkpoint commit execution, disk storage requirement, external pager facility, parallel programming, distributed computation, Unix, Unix, system recovery, software fault tolerance, operating systems (computers), system performance, virtual storage, concurrent processes, hard disk
1	Greg Schaffer	MPP UNIX enhancements for OLTP applications.	HICSS	1995	DBLP DOI BibTeX RDF	MPP UNIX enhancements, OLTP applications, massively scaled up shared memory multiprocessor, infinity architecture, UNIX extensions, scalability, parallel programming, Unix, transaction processing, shared memory systems, operating systems (computers)
1	Rainer Weinreich, Reinhold Plösch	Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment.	HICSS	1995	DBLP DOI BibTeX RDF	PDC model, Proxy/Dispatcher/Collocutor technique, operating-system processes, local objects, dynamically bound, machine boundaries, Process-Build, implementation phase, distributed systems, parallel programming, concurrency, prototyping, distributed processing, software tools, parallel systems, object-oriented methods, operating systems (computers), software prototyping, real-time requirements, software life cycle, prototyping tool, distributed object-oriented systems
1	Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke	Portable Checkpointing and Recovery. (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	portable checkpointing, parallel library, f CHIMP/MPI, flexible recovery mechanism, data-reconfiguration, parallel machines, recovery, portability, system recovery, operating systems (computers), software portability
1	Swarup Acharya, Rafael Alonso	The computational requirements of mobile machines.	ICECCS	1995	DBLP DOI BibTeX RDF	mobile machines, Apple Newton, EO computers, InfoPad project, PARC tabs, simulation-based studies, wireless LAN, computer networks, mobile systems, operating systems (computers), network operating systems, hardware architecture, distributed information system, portable computers, portable computer, nomadic computing, display device, computational requirements, mobile radio
1	Michael Buckley, Ram Chillarege	Discovering relationships between service and customer satisfaction. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	computer facilities, service delivery management, service data, effective management, software quality improvement efforts, reduced costs, IBM operating system, service measures, defective fixes, problem number, defect number, days-to-solution, software maintenance, software development, software quality, correlation, operating systems (computers), return on investment, empirical analysis, customer satisfaction, software management, investment
1	Theresa-Marie Rhyne	Case study: A WWW viewpoint on scientific visualization: an EPA case study for technology transfer.	INFOVIS	1995	DBLP DOI BibTeX RDF	environmental science computing, scientific visualization capabilities, environmental scientists, policy analysts, intelligent visualization capability access, high performance UNIX workstations, EPA case study, Internet, information retrieval, World Wide Web, Unix, data visualisation, technology transfer, technology transfer, operating systems (computers), information dissemination, personal computers, workstations, public administration, microcomputer applications, government data processing, decision makers, knowledge dissemination
1	Michael Marchetti, Leonidas I. Kontothanassis, Ricardo Bianchini, Michael L. Scott	Using simple page placement policies to reduce the cost of cache fills in coherent shared-memory systems. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	page placement policies, cache fills, OS-based page placement, page replication, performance, shared memory systems, shared-memory systems, storage management, operating systems (computers), cache storage, paged storage, distributed shared memory multiprocessors, page migration
1	José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia	Correctness of a distributed deadlock resolution algorithm for the single request model.	PDP	1995	DBLP DOI BibTeX RDF	distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
1	Gregory Bollella, Kevin Jeffay	Support for real-time computing within general purpose operating systems-supporting co-resident operating systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time computing support, co-resident operating systems, workstation applications, real-time communication services, real-time computation services, real-time computing technology development, commercial systems, predictable real-time kernel, shared device multiplexing, shared data structure partitioning, CPU executive, IBM Microkernel, Mach microkernel, OSF/1 server, uniprocessor periodic task scheduling, CPU capacity allocation, scheduling, software engineering, real-time systems, multimedia systems, hardware, processor scheduling, operating systems (computers), operating system kernels, distributed multimedia applications, general purpose operating systems
1	John Drummond, Michael Wu	A low level analysis of the realtime Mach distributed operating system. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques
1	R. Gopalakrishnan, Guru M. Parulkar	RMDP-a real-time CPU scheduling algorithm to provide QoS guarantees for protocol processing. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	RMDP real-time CPU scheduling algorithm, processing guarantees, reduced contest switch operations, bandwidth guarantees, protocol session, NetBSD operating system, simulation, simulation, scheduling, real-time systems, protocols, delays, multimedia applications, processor scheduling, operating systems (computers), multimedia computing, QoS guarantees, delay guarantees, schedulability test, protocol processing
1	Kevin A. Kettler, Daniel I. Katcher, Jay K. Strosnider	A modeling methodology for real-time/multimedia operating systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multimedia operating systems, real-time scheduling theory, real-time task set, implementation costs, engineering methodology, commercial real-time operating systems, scheduling, performance evaluation, software engineering, real-time systems, developers, processor scheduling, software performance evaluation, users, operating systems (computers), multimedia computing, real-time operating systems, modeling methodology, design evaluation
1	Clifford W. Mercer, Ragunathan Rajkumar	An interactive interface and RT-Mach support for monitoring and controlling resource management. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	RT-Mach, Real-Time Mach, resource management monitoring, resource management control, timing characteristics, a priori resource allocation decisions, changing user needs, operating system resource reserves, resource reservation abstraction, processor capacity reserves, rmon, processor usage display, processor reservation, reservation change requests, policy decisions, real-time systems, user interfaces, resource allocation, timing, multimedia systems, dynamic systems, interactive systems, operating systems (computers), multimedia computing, system monitoring, quality of service manager, interactive interface
1	Boo-Geum Jung, Young-Jun Cha, Hyung-Hwan Kim, Sung-Ik Jun, Ju-Hyun Cho	Dynamic code binding for scalable operating system in distributed real-time systems. (PDF / PS)	RTCSA	1995	DBLP DOI BibTeX RDF	dynamic code binding, scalable operating system, microkernel structure, remote system call, system primitives, real-time systems, operating system, distributed processing, client-server systems, servers, operating systems (computers), distributed real-time systems, scalable architecture
1	Hiroshi Tezuka, Tatsuo Nakajima	Experiences with building a continuous media application on Real-Time Mach.	RTCSA	1995	DBLP DOI BibTeX RDF	continuous media application, Real-Time Mach, media control techniques, inter-stream synchronization schemes, timesharing operating systems, distributed video player, QtPlay, real-time systems, real-time system, operating systems (computers), jitter control
1	Hideyuki Tokuda	Operating system support for continuous media applications-RT-Mach extensions.	RTCSA	1995	DBLP DOI BibTeX RDF	continuous media applications, Real-Time Mach microkernel, resource management support, real-time systems, operating system, operating systems (computers), multimedia computing, operating system kernels, programming support, architectural support
1	Hugh Glaser, Trevor J. Smedley	PSH-The Next: Generation of Command Line Interfaces. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	WIMPS interfaces, AppleScript, csh, Prograph system, shell-type operation tool, WIMPS environment, software engineering, graphical user interfaces, programming environments, Unix, visual programming, visual languages, utilities, operating systems (computers), program interpreters, command line interfaces
1	Calin R. Costian, Dan C. Marinescu	Socrates: an environment for high performance computing. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	Socrates system, generic problem solving environment, heterogeneous computing environment, structural biology applications, parallel processing, resource allocation, graphical user interfaces, high performance computing, open systems, operating systems (computers), network operating systems, computer network management
1	Giles J. Nelson	User interaction with machines on the move: location aware computing. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	networked computing environment, logging-on, screen-locking, telephone re-routing, person-machine interaction paradigms, access control, data structure, wireless LAN, computer networks, querying, operating systems (computers), network operating systems, location aware computing, information gathering, mobile computing systems, co-location, mobile radio
1	Alexander Schill, B. Bellmann, Wito Böhmak, Sascha Kümmel	Infrastructure support for cooperative mobile environments. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	cooperative mobile environments, infrastructure support, distributed mobile computing, software support architecture, station software infrastructure, resource access management, dynamic mobile environments, behavioural aspects, OSF Distributed Computing Environment, Microsoft RPC, distributed systems, mobile computing, wireless LAN, operating systems (computers), network operating systems, remote procedure calls, remote procedure call, communication infrastructure
1	Dick Jensen	Adventures in Embedded Development.	IEEE Software	1994	DBLP DOI BibTeX RDF	embedded systems development, software tool selection, off-the-shelf real-time operating system, unplanned critical paths, development delays, timing demands, software engineering, real-time systems, software tools, costs, operating systems (computers), project planning, protocol stacks, commercial products
1	Werner Staringer	Constructing Applications from Reusable Components.	IEEE Software	1994	DBLP DOI BibTeX RDF	off-the-shelf software, custom-developed code, financial risk-management application, Nextstep operating system, risk management, software reusability, operating systems (computers), reusable components, financial data processing
1	Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe	A Conceptual Clustering Algorithm for Database Schema Design.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning
1	Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake	Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support
1	Hanns-Helmuth Deubler, Meinhard Koestler	Introducing Object Orientation into Large and Complex Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	operating system BS2000, object-oriented parts, parallel usage, monolithic structure, object-oriented programming, OOP, object orientation, complex systems, system architecture, systems architecture, operating systems (computers), structured programming, object-oriented paradigm, large software systems, object-oriented technique, implementation languages
1	Ajay D. Kshemkalyani, Mukesh Singhal	Efficient Detection and Resolution of Generalized Distributed Deadlocks.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	generalized distributed deadlock resolution, one-phase algorithm, concurrent sweeps, generalized distributed deadlock detection, outward sweep, distributed wait-for-graph, inward sweep, distributed snapshot, algorithm correctness, worst-case message complexity, leaf nodes, distributed system, computational complexity, concurrency control, directed graphs, directed graph, time complexity, messages, operating systems (computers), graph reduction
1	Sukhamoy Som, Roland R. Mielke, John W. Stoughton	Prediction of Performance and Processor Requirements in Real-Time Data Flow Architectures.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	processor requirements, ATAMM, Algorithm to Architecture Mapping Model, multiprocessor operating system, reliableperformance, four-processor architecture, VHSIC 1750A Instruction Set Processor, iterative control, signal processing algorithms, nonpreemptive, dynamicmultiprocessor scheduling, processor requirement prediction, faulttolerant computing, real-timesystems, scheduling, performance, real-time systems, multiprocessing systems, operating systems (computers), periodic, data flow graph, data flow architectures
1	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
1	Wei Kuan Shih, Jane W.-S. Liu, C. L. Liu	Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	modified rate-monotonic algorithm, periodic jobs, deferred deadlines, semi-static priority-driven algorithm, time instant, old requests, current request, independent jobs, request deadline, deterministic scheduling theory, scheduling, real-time systems, real-time systems, computational complexity, embedded systems, operating system, scheduling algorithms, job scheduling, operating systems (computers), multiprogramming, feasibly scheduled
1	Jia Xu, David Lorge Parnas	On Satisfying Timing Constraints in Hard-Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	pre-run-time scheduling, mathematical scheduling problems, scheduling, real-time systems, timing constraints, operating systems (computers), hard-real-time systems
1	Leonard Kleinrock, Jau-Hsiung Huang	On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Amdahl law, speedup result, general queuing, computer-communication systems, optimal job input, continuous model, parallel processing, power, queueing theory, operating systems (computers), optimal design, performance indices, computer communications software, parallel processing system, discrete model
1	Hwa-Chun Lin, C. S. Raghavendra	A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC).	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	dynamic load-balancing policy, central job dispatcher, LBC policy, single-queue multiserver queueing system, average job response time, near-minimum average job response time, high-speed communication subnets, nonnegligible job transfer delays, heterogeneous load, distributed systems, distributed processing, queueing theory, operating systems (computers), communication delay, information exchanges
1	C. Gary Rommel	The Probability of Load Balancing Success in a Homogeneous Network.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	homogeneous sites, general formula, distributed processing, probability, computer networks, operating systems (computers), distributed operating system, load balancing algorithm, subnet
1	Fred Kaudel	Comments on ``Allocating Programs Containing Branches and Loops Within a Multiple Processor System''.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	programs allocation, assignment algorithms, scheduling, operating systems (computers), loops, branches, multiple processor system
1	Donald F. Towsley	Correction to ``Allocating Programs Containing Branches and Loops Within a Multiple Processor System''.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	typographical errors, scheduling, operating systems (computers), loops, branches, multiple processor system
1	Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran	On the Identification of Covert Storage Channels in Secure Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages
1	Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	performance implications, thread management, critical resource waiting, performance evaluation, data structure, data structures, latency, multiprocessing systems, shared-memory multiprocessors, locking, operating systems (computers), fine-grained parallelism
1	Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu	Token Systems that Self-Stabilize.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	mutual exclusion systems, protocols, self-stabilizing, operating systems (computers), token, critical section, state transitions
1	William R. Bevier	Kit: A Study in Operating System Verification.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit
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	R. T. Jacob, Ivor P. Page	Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	mutual exclusion solutions, binary semaphores, graphical form, mutual exclusion constraint, edge semaphore solution, edge solvable, entry, exit sections, graph theory, operating systems (computers), graph grammar, efficient algorithm, vertex, forbidden subgraph, mutual exclusion problem
1	Akhil Kumar, Michael Stonebraker	Performance Considerations for an Operating System Transaction Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	log compressing, considerations, operating system transaction manager, conventional transaction manager, OS transaction manager, lock acquisition, additional semantics, OS transaction system, modified index structure, update operations, DBMS performance, performance evaluation, performance, data structures, software reliability, database management system, database management systems, transaction processing, operating systems (computers), transaction management, performance penalty
1	Jeff Magee, Jeff Kramer, Morris Sloman	Constructing Distributed Systems in Conic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed systems construction, Conic environment, language-based approach, operating systems approach, concise configuration description, program components, interconnected logical nodes, incremental change, user-transparent datatype transformation, interconnected computers, base target machines, run-time facilities, distributed processing, programming, programming environments, software components, program compilation, operating systems (computers), high level languages, distributed environment, dynamic configuration, Unix operating system, heterogeneous processors, configuration language
1	Anand Tripathi	An Overview of the Nexus Distributed Operating System Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	interobject communication, object access, Nexus distributed operating system design, fault-tolerance techniques, Nexus programming environment, multiple implementations, remote-procedure-call paradigm, application-controlled checkpointing, parallel remote procedure calls, Nexus kernel, data structures, object-oriented programming, object-oriented programming, fault tolerant computing, distributed processing, programming environments, inheritance, abstract data types, operating systems (computers), restart, atomic actions, computer communications software, experimental research, location transparency
1	Woei Lin, Chuan-lin Wu	A Distributed Resource Management Mechanism for a Partitionable Multiprocessor System.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	homogeneous processing element pool, distributed resource management mechanism, partitionable multiprocessor system, physically independent subsystems, performance evaluation, parallel processing, parallel computations, parallel architectures, distributed processing, reconfigurability, multistage interconnection networks, operating systems (computers), performance simulation
1	David M. Nicol, Joel H. Saltz	Dynamic Remapping of Parallel Computations with Varying Resource Demands.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	resource demands, global load remapping, mapping decision heuristic, load evolution, system degradation, scheduling, parallel processing, parallel computations, optimisation, operating systems (computers), heuristic programming, remapping, decision policy
1	Thomas L. Casavant, Jon G. Kuhl	A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	scheduling, scheduling, distributed computing, operating systems, distributed processing, resource management, operating systems (computers), distributed scheduling
1	Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth	ABE: An Environment for Engineering Intelligent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multilevel architecture, module-oriented programming, cooperative operating system, knowledge processing tools, skeletal systems, virtual machine, virtual machines, software tools, programming environments, programming environments, intelligent systems, knowledge engineering, knowledge engineering, software reusability, software reusability, operating systems (computers), dataflow, control flow, blackboards, ABE, large-scale applications
1	Patricia A. Oberndorf	The Common Ada Programming Support Environment (APSE) Interface Set (CAIS).	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	operating system interfaces, Ada Programming Support Environment, Common APSE Interface Set, Ada, software tools, programming environments, operating systems (computers), software portability, software portability, CAIS
1	Fabio Panzieri, Santosh K. Shrivastava	Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Rajdoot, remote procedure call mechanism, orphan detection, killing, exactly-once semantics, call nesting, reliability, fault tolerant computing, software reliability, operating systems (computers), fault tolerance capabilities