NDLI: Resource scheduling: specification and proof techniques

Please wait, while we are loading the content...

Expansions in the algebra of FP

A differentiation primitive for extended λ-calculus

Denotational data flow analysis for parallel implementation of imperative programs

Implementing first order logic in Modula-2 using an intuitionistic approach

Toward a theory of correct set algorithms

Future software development management system prototype

Industrializing software production

Literary criticism and programming pedagogy

Towards empirical studies of programming in new paradigms

Horizontal partitioning

Pixel preference

Implementation of cross intersection between triangular surfaces

Partitioning rectilinear figures into rectangles

An architecture for textual information retrieval

Computer organization/architecture: a threaded top-down design

Fast prototyping of a goal-oriented simulation environment sytem

A CAD system for the capture of combat casualty care information

A private military network using a power transmission line

Software design for electronic banking: managing the user-computer interface

Self-organizing scheme for file storage

Data modeling: order out of chaos

Incomplete information and the relational model of data

Semantics of update operations for an extended entity-relationship model

Computer technology in special education and rehabilitation

Is there a unified package for business applications?

$U^{2}RS:$ an upgradable universal relation system

Building expert sytems for statistical process control in steel remelt industry

MTEEP: mechanical transmission element expert system

Acceptance testing of expert systems: issues of verification and validation

Some techniques for minimizing and optimizing the rule base of an expert system

Constructing an expert system—software engineering of a different kind

A unified theory of software metrics

On generation of state space for timed Petri nets

Parsing a graph-grammar

Best first search in and/or graphs

A statistical model for the search problem

Functional path analysis: an approach to software verification

The execution history approach to intelligent debugging

Software testing in the commercial environment

The design of a PDL environment

Automating the software development process

A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solving

A simple dynamic load balancing algorithm for homogeneous distributed systems

Path analysis of distributed programs

Software experience with concurrent C and LISP in a distributed system

Locality in distributed computations

Comparison of several techniques for generating systolic arrays

Some new systolic designs for two-dimensional convolution

Translating systolic arrays into instruction systolic arrays

A new parallel multiplication algorithm and its VLSI implementation

Parallel VLSI computation of all shortest paths in a graph

Systolic VLSI array for fuzzy logic in expart sytems

Ethics and computer security: cause and effect

A very long period (VLP) pseudorandom number generator for the microcomputer environment

Graphic animation and speech synthesis applications for the auditory and visually disabled

MAGNEX: a text editor for the visually impaired

A user interface for simulating calligraphic pens and brushes

Concurrent reading and writing with replicated data objects

An adaptable and distributed load adjustment algorithm

A model for an adaptive scheduler

Resource scheduling: specification and proof techniques

New directions in office automation research: SIGOA panel

How to relieve a programmer from synchronization details

A flexible interactive control structure for rule-based systems

A multiple cooperating intelligent agents project progress repost

Fault tolerance in deductive knowledge bases

A testbed for sensory PDP models

Two-level grammar: data flow English for functional and logic programming

Conjunctional type assignment in programming languages

g is for grammars: an extension of Lisp

Three dimensional tree grammars for the modeling of plants

Extending Earley's context-free parsing algorithm for string pattern matching

On the control dependence in the program dependence graph

Graphical extensions for pseudo-code, PDLs, and source code

Object-oriented design: is it enough for large Ada systems?

Tools for the storage and retrieval of reusable MIS software in Ada

Functionality in the reusability of software

An analysis of advanced C.S. students' experience with software maintenance

An inherently parlle large grained data flow environment

Constructs and evaluations strategies for intelligent speculative parallelism—armageddon revisited

Dynamic detection of parallelism in Pascal-like program

Vectorization and parallelization interactive assistant

A layered networking protocol designed to minimize complexity

A data flow approach to the evaluation of FP programs

Partial evaluation of logic programs

An implementation of the Vernian Cipher for file security

The interactions between operating system paging algorithms and database buffering algorithms

Design considerations for the transformation of MINIX into a distributed operating system

A threshold mechanism for distributed query processing

Concurrency control by transactions carrying states and preordering universioned entities

Modification operations in data base machines: where are they?

A universal hierarchical language interface for IMS (abstract)

SOLID: A high-speed data- and question-independent information management system

Approximate classification using conceptual clustering

Theoretical clustering and a scheme of its implementation

ESPAD: an adaptively controlled rule-based expert system for monitoring and diagnosing space vehicle subsystems

Seeding expert system technology: a practical approach

Programmed grammars with multi-production core and their applications (abstract)

Data structures: pointers vs. arrays. when, where and why

New syntax for if- and case statements

Macintosh assembly language

On designing a language for exclusive use in a syntax directed programming environment

GRASP: an executable specification language for Ada tasking

RT Prolog: a real time Prolog written in Ada

Design and development of MINIX distributed operating system

Implementation of a resource manager for distributed MINIX

The environment for learning to program

A factor analytic study of structured flowchart preference

Determination of order of an algorithm

Picture recognition using arc length and turning angle transformation

CUBE architecture for 3-D computer graphics

Automatic layout for graphical representation of programs

Graphics and animation in expert systems for language tutoring

Survey of empirical studies of graphical representations for algorithms

An object-oriented, knowledge-based approach to simulation

The design of a programmer's interface for an interactive microcomputer animation tool

Intelligent document information retrieval system for determinants of medication research literature collection

Information technology and transaction processing jobs: a cognitive approach

Design of an on-line decision support system for process control

IEEE-488 1978 general purpose interface bus test

The structured flowchart niche: strenth of preference

A research tool for software design and documentation

Entity relationship modeling in object-oriented software development

Ada software development using generics

Generating environments for programming-in-the-large

Software sizing problems in software engineering metrics

Design of a test plan and its test cases for a translator

Developing expert system to evaluate leave/funding request for faculty professional enhancement at Central Missouri State University

Cognition as a source of selection pressure in the evolution of computer support systems for executives

An expert system approach to LAN design

PLAXPERT—an expert system for incorporating design for testability in programmable logic arrays

A proposal for adding reality to expert systems

KC expert—the development of an ICAI system for chemistry

The design of an intelligent interface for a laser optical system

Intelligent logical design of relational databases

Neighborhood systems and relational databases

PROREL: a Prolog-based system for relational algebra and data base

Generating a requirements specifications knowledge-base

Computer/radar joint scheduling using a parallel computer

Tasking troubles and tips (abstract)

A parallel algorithm for multi-dimensional fuzzy reasoning—toward a parallel fuzzy production system

Problem dynamics and working set principle as applied to concurrent processing

A parallel best-first search

Detecting intersection of two convex polygons in parallel

The mental abilities associated with programming aptitude

Human autobiographic memory simulation

One freshman studies program which improved student retention in the first year computer science sequence for majors

Ada projects for undergraduates

A Chinese natural language query system giving information about computer science

Correspondent computing

Prospectives on computer science: twenty-five years of observations

Resource scheduling: specification and proof techniques

Content Provider	ACM Digital Library
Author	Hsieh, Chyuan Samuel Unger, Elizabeth A.
Abstract	Interprocess interactions in concurrent programs serve two major functions: conditional exclusion and scheduling. This article presents high-level techniques for specification of scheduling policies, and for proving the starvation-free property of scheduling policies after they are formally specified. Specification is based on a scheduler model that parallels the typical method of implementing a scheduler in high-level concurrent languages: as an abstract data object superimposed with the function to enforce the synchronization constraints that are required by a scheduling policy. A formal proof of the starvation-free property is based strictly on the model and a formal specification of a policy only, without using an intuitive, informal description of the policy itself. In general, the potential of a scheduling policy to cause starvation can not be determined by a posteriori testing. Therefore, an a priori formal proof to ensure that a scheduling policy is starvation-free is particularly important. Examples of specification and proof of fairly complex scheduling policies are given.
Starting Page	429
Ending Page	437
Page Count	9
File Format	PDF
ISBN	0897912608
DOI	10.1145/322609.322789
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1988-02-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in