4520 search results - page 72 / 904 » Algebraic Techniques for Timed Systems |
149
click to vote
DFG
1992
Springer
15 years 6 months ago
1992
Springer
Determining time necessary for computing important functions on parallel machines is one of the most important problems in complexity theory for parallel algorithms. Recently, a s...
135
Voted
SBBD
2004
15 years 3 months ago
2004
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
122
Voted
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Recently, there have been several promising techniques developed for schedulability analysis and response time analysis for multiprocessor systems based on over-approximation. Thi...
93
Voted
CHARME
1993
Springer
15 years 6 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...