4693 search results - page 668 / 939 » Verifying Hybrid Systems |
203
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...
181
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
203
click to vote
PASTE
1998
ACM
15 years 10 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
169
click to vote
APN
1995
Springer
15 years 10 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
165
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
While soft processors are increasingly common in FPGAbased embedded systems, it remains a challenge to scale their performance. We propose extending soft processor instruction set...