4164 search results - page 232 / 833 » Timing model reduction for hierarchical timing analysis |
276
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
144
click to vote
EDOC
2006
IEEE
16 years 20 days ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
147
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
131
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
196
click to vote
ECRTS
2006
IEEE
16 years 20 days ago
2006
IEEE
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified i...