12950 search results - page 363 / 2590 » On Optimal Timed Strategies |
151
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
168
click to vote
IEEECIT
2006
IEEE
16 years 25 days ago
2006
IEEE
— Recent studies have shown that many real networks follow the power-law distribution of node degrees. Instead of random connectivity, however, power-law connectivity suffers fro...
181
click to vote
AIEDU
2007
15 years 7 months ago
2007
This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...
179
click to vote
LCPC
2004
Springer
16 years 5 days ago
2004
Springer
As computing platforms become more and more complex, the task of optimizing performance critical codes becomes more challenging. Recently, more attention has been focused on automa...
162
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...