Worst-case analysis of discrete systems based on conditional abstractions
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Task scheduling with RT constraints
Proceedings of the 37th Annual Design Automation Conference
Worst-case analysis of discrete systems
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Automatic synthesis of a subclass of schedulers in timed systems
Theoretical Computer Science - Australasian computer science
Hi-index | 0.00 |