1661 search results - page 137 / 333 » Real-time specification patterns |
127
click to vote
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
103
click to vote
ISLPED
1999
ACM
15 years 6 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
114
click to vote
SEKE
1994
Springer
15 years 5 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
107
click to vote
SIGGRAPH
1990
ACM
15 years 5 months ago
1990
ACM
The use of physically-based techniques for computer animation can result in realistic object motion. The price paid for physically-based motion synthesis lies in increased computa...
107
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
eXpert-BSM is a real time forward-reasoning expert system that analyzes Sun Solaris audit trails. Based on many years of intrusion detection research, eXpert-BSM's knowledge ...