2278 search results - page 383 / 456 » Specification Techniques for Automatic Performance Analysis ... |
ANCS
2005
ACM
15 years 4 months ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
198
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
COORDINATION
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
CMPB
2010
14 years 11 months ago
2010
A large number of algorithms have been developed to perform non-rigid registration and it is a tool commonly used in medical image analysis. The FreeForm Deformation algorithm is ...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...