Sciweavers

6 search results - page 2 / 2
» A structural approach to quasi-static schedulability analysi...
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
13 years 9 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden