4346 search results - page 768 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
143
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
132
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...
127
click to vote
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
In the last years point-based rendering has been shown to offer the potential to outperform traditional triangle based rendering both in speed and visual quality when it comes to ...
215
click to vote
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
Because of increasing hardware and software complexity, the running time of many computational science applications is now more than the mean-time-to-failure of highpeformance com...
117
Voted
ASYNC
2007
IEEE
15 years 7 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...