6768 search results - page 1162 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
142
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...
145
Voted
KDD
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...
138
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
158
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
145
Voted
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
The advances in multicore technology and modern interconnects is rapidly accelerating the number of cores deployed in today’s commodity clusters. A majority of parallel applicat...