140 search results - page 12 / 28 » Three non Conventional Paradigms of Parallel Computation |
SIGGRAPH
1995
ACM
14 years 2 days ago
1995
ACM
A method is presented to broaden implicit surface modeling. The implicit surfaces usually employed in computer graphics are two dimensional manifolds because they are defined by r...
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
EAGC
2004
Springer
14 years 1 months ago
2004
Springer
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Multi-core processors are a shift of paradigm in computer architecture that promises a dramatic increase in performance. But multi-core processors also bring an unprecedented leve...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...