Sciweavers

5639 search results - page 53 / 1128
» Timed Abstract Non-interference
Sort
View
ISSS
1999
IEEE
112views Hardware» more  ISSS 1999»
15 years 4 months ago
Middleware Techniques and Optimizations for Real-Time, Embedded Systems
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.
Douglas C. Schmidt
WIA
1998
Springer
15 years 4 months ago
On Parsing and Condensing Substrings of LR Languages in Linear Time
Abstract. LR parsers have long been known as being an efficient algorithm for recognizing deterministic context
Heiko Goeman
AMAST
1997
Springer
15 years 3 months ago
Refinement Rules for Real-Time Multi-tasking Programs
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
Colin J. Fidge
ALGORITHMICA
2005
95views more  ALGORITHMICA 2005»
14 years 11 months ago
Near-Linear Time Approximation Algorithms for Curve Simplification
Abstract. We consider the problem of approximating a polygonal curve
Pankaj K. Agarwal, Sariel Har-Peled, Nabil H. Must...
IWEC
2008
15 years 1 months ago
Strategic Path Planning on the Basis of Risk vs. Time
Abstract. The selection of path in an urban combat setting determines the survival to a greater extent. In this paper we propose an algorithm that finds strategic paths inside a ma...
Ashish C. Singh, Lawrence B. Holder