7557 search results - page 331 / 1512 » Modeling Timed Concurrent Systems |
163
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Disk drives are a common performance bottleneck in modern storage systems. To alleviate this, disk manufacturers employ a variety of I/O request scheduling strategies which aim ...
160
click to vote
BPM
2004
Springer
16 years 2 days ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
169
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Embedded software design for real time reactive system
163
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
212
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...