1620 search results - page 220 / 324 » An Annotation-Based Framework for Parallel Computing |
173
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Applying Cloud computing techniques for analyzing large data sets has shown promise in many data-driven scientific applications. Our approach presented here is to use Cloud comput...
157
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Aim of this paper is to propose a methodology for the definition of an instruction-level energy estimation framework for VLIW (Very Long Instruction Word) processors. The power mo...
137
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
168
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
176
click to vote
GVD
2009
15 years 4 months ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...