118 search results - page 11 / 24 » Transforming Out Timing Leaks |
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper, we examine the use of implicit shape representations for nonrigid registration of serial CT liver examinations. Using ground truth in the form of corresponding land...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
DAC
1997
ACM
14 years 23 days ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
APAQS
2001
IEEE
14 years 7 days ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...