4539 search results - page 744 / 908 » Approaches to Compute Workflow Complexity |
158
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
148
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
133
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
Recent research for testable designs has focussed on inserting test structures by re-arranging an Register-TransferLevel (RTL) data path generated from a behavioural description t...
151
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
113
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...