68 search results - page 2 / 14 » Scheduling Algebra |
RTSS
1998
IEEE
15 years 1 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
DASFAA
1995
IEEE
15 years 1 months ago
1995
IEEE
CONCURRENCY
2010
14 years 9 months ago
2010
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract - This paper describes an efficient graphbased method to optimize data-flow expressions for best hardware implementation. The method is based on factorization, common su...
88
Voted
CL
2000
Springer
15 years 1 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...