Results 1 - 10
of
72
The deadline command
- 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
, 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
- 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
"... 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
, 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
- 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
, 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
, 2011
"... • CONTRACT TYPES – various ..."
THIRD OPEN LETTER TO THE COMMANDER OF STRATCOM, THE MOST
, 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
"... 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
Results 1 - 10
of
72