• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 72
Next 10 →

The deadline command

by Will Hayes, James W. Over, Will Hayes, James W. Over, Jay Alonis, Lt Col - IEE Proceedings---Software , 1999
"... The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange. ..."
Abstract - Cited by 16 (12 self) - Add to MetaCart
The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.

Using Deadline Commands to Reason about Non-Terminating Loops

by Ian Hayes, Ian Hayes , 2000
"... s and compressed postscript files are available from http://svrc.it.uq.edu.au Using Deadline Commands to Reason about Non-Terminating Loops Ian Hayes Abstract It is common for a real-time process to consist of a nonterminating loop monitoring an input and controlling an output. Hence a real-t ..."
Abstract - Add to MetaCart
s and compressed postscript files are available from http://svrc.it.uq.edu.au Using Deadline Commands to Reason about Non-Terminating Loops Ian Hayes Abstract It is common for a real-time process to consist of a nonterminating loop monitoring an input and controlling an output. Hence a real

Deadlines Are Termination

by Ian J. Hayes, Mark Utting - IFIP INTERNATIONAL CONFERENCE ON PROGRAMMING CONCEPTS AND METHODS (PROCOMET ’98 , 1998
"... We have recently extended the sequential refinement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculus allows refinement steps that separate timing constraints from non-timing requirements. Rules are pr ..."
Abstract - Cited by 15 (6 self) - Add to MetaCart
We have recently extended the sequential refinement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculus allows refinement steps that separate timing constraints from non-timing requirements. Rules

Scheduling Tasks With Variable Deadlines

by Chi-Sheng Shih Lui, Chi-sheng Shih, Lui Sha
"... Traditional real-time scheduling algorithms typically assume that deadlines of tasks do not change with time. Task deadlines in many real-time command, control and communication applications change over time. Deadlines of some tasks in these applications depend on the states of the objects monitored ..."
Abstract - Add to MetaCart
Traditional real-time scheduling algorithms typically assume that deadlines of tasks do not change with time. Task deadlines in many real-time command, control and communication applications change over time. Deadlines of some tasks in these applications depend on the states of the objects

Remote Agent: To Boldly Go Where No AI System Has Gone Before

by Nicola Muscettola , P. Pandurang Nayak , Barney Pell , Brian C. Williams , 1998
"... Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous effets of robotic explorers. Information technology, and Artificial Intelligence in particular, will play a central role in this endeavor by endowing th ..."
Abstract - Cited by 231 (16 self) - Add to MetaCart
these explorers with a form of computational intelligence that we call remote agents. In this paper we describe the Remote Agent, a specific autonomous agent architecture based on the principles of model-based programming, on-board deduction and search, and goal-directed closed-loop commanding, that takes a

The Spring Kernel: A New Paradigm for Real-Time Systems

by John A. Stankovic, Krithi Ramamritham - IEEE Software , 1991
"... Next generation real-time systems will require greater flexibility and predictability than is commonly found in today's systems. These future systems include the space sta-tion, integrated vision/robotics/AI systems, collections of humans/robots coordinating to achieve common objectives (usuall ..."
Abstract - Cited by 211 (21 self) - Add to MetaCart
(usually in hazardous environments such as undersea explo-ration or chemical plants), and various command and control applications. The Spring kernel is a research oriented kernel designed to form the basis of a flexible, hard real-time operating system for such applications. Our approach challenges

Predicting UNIX Command Lines

by Benjamin Korvemaker, Russell Greiner , 2000
"... asing the current probability when a previously encountered stub is observed. This method obtains nearly 75% accuracy when predicting the 5 most likely commands 3 . This was a substantial improvement over applying C4.5 to the task, which obtained only 38.5% accuracy. 1 Novice users are typically ..."
Abstract - Add to MetaCart
). 3 Predicting the top n commands allows a number of commands to follow a single command without a great penalty. Solution Predicting a user's next command line is a moving target: user goals can change, external events (mail arriving, deadlines approaching) occur, what happened in the past

• CONTRACTING OFFICER AUTHORITY • CHAIN OF COMMAND • COTR RESPONSIBILITIES • LIMITING – INCORPORATING PROPOSALS BY REFERENCE • ADHERE to DEADLINES! • KNOW YOUR STRENGTHS • HOLD POSTAWARD CONFERENCES FOR YOUR SUBS

by Tania B. Davis, General Comments, Section B Highlights , 2011
"... • CONTRACT TYPES – various ..."
Abstract - Add to MetaCart
• CONTRACT TYPES – various

THIRD OPEN LETTER TO THE COMMANDER OF STRATCOM, THE MOST

by Suite A, Cartwright Usmc , 2006
"... I will start with my vision impairment. Some of this was spoken of in earlier letters but I will repeat those portions so you may appreciate the circumstances under which I operate. VISION IMPAIRMENT IN MY RIGHT EYE I had a deadline to file an answer to the U. S. Patent Office on my Wave And Tide Ac ..."
Abstract - Add to MetaCart
I will start with my vision impairment. Some of this was spoken of in earlier letters but I will repeat those portions so you may appreciate the circumstances under which I operate. VISION IMPAIRMENT IN MY RIGHT EYE I had a deadline to file an answer to the U. S. Patent Office on my Wave And Tide

unknown title

by The Deadline, Command Colin, Fidge Ian Hayes, Geoffrey Watson
"... Abstract The deadline command is a simple, yet highly flexible, language primitive for real-time programming. Formally, it has a straightforward definition as a constraint on the current time. In practice, it acts as a compiler directive, which can be checked statically, to ensure that the program w ..."
Abstract - Add to MetaCart
Abstract The deadline command is a simple, yet highly flexible, language primitive for real-time programming. Formally, it has a straightforward definition as a constraint on the current time. In practice, it acts as a compiler directive, which can be checked statically, to ensure that the program
Next 10 →
Results 1 - 10 of 72
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University