2468 search results - page 316 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
ISVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
The clock distribution and generation circuitry is known to consume more than a quarter of the power budget of existing microprocessors. A previously derived clock energy model is...
118
click to vote
CEE
2007
15 years 4 months ago
2007
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...
124
click to vote
ANNPR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Estimation of probability density functions (pdf) is one major topic in pattern recognition. Parametric techniques rely on an arbitrary assumption on the form of the unde...
164
click to vote
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
140
click to vote
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...