927 search results - page 22 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
102
click to vote
CF
2010
ACM
15 years 5 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
115
Voted
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Pulmonary valve disease affects a significant portion of the global population and often occurs in conjunction with other heart dysfunctions. Emerging interventional methods enable...
77
Voted
TACAS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
112
click to vote
KDD
2006
ACM
16 years 26 days ago
2006
ACM
Motivation: In the field of bioinformatics there is an emerging need to integrate all knowledge discovery steps into a standardized modular framework. Indeed, component-based deve...
108
Voted
SCN
2008
Springer
15 years 11 days ago
2008
Springer
Abstract-- Despite the rapid advance in networking technologies, detection of network anomalies at high-speed switches/routers is still far from maturity. To push the frontier, two...