708 search results - page 77 / 142 » Precise Specification and Automatic Application of Design Pa... |
124
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
148
click to vote
WSCG
2003
15 years 4 months ago
2003
The analysis of blood flow patterns and the interaction between salient topological flow features and cardiovascular structure plays an important role in the study of cardiovascul...
128
Voted
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
It has been shown that FPGAs could outperform high-end microprocessors on floating-point computations thanks to massive parallelism. However, most previous studies re-implement in...
142
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
152
Voted
HCI
2009
15 years 1 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...