571 search results - page 52 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
120
click to vote
HPCA
2011
IEEE
14 years 1 months ago
2011
IEEE
Flash memory based solid state drives (SSDs) have shown a great potential to change storage infrastructure fundamentally through their high performance and low power. Most recent ...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
HASKELL
2009
ACM
15 years 4 months ago
2009
ACM
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...
ICDCSW
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...