9209 search results - page 1355 / 1842 » Data Space Randomization |
225
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
The environment is affected by our collective behavior, yet many visualizations of energy saving behavior focus on personal actions, or simple, unidimensional comparisons between ...
160
click to vote
LATA
2010
Springer
16 years 2 months ago
2010
Springer
The smallest grammar problem - namely, finding a smallest context-free grammar that generates exactly one sequence - is of practical and theoretical importance in fields such as ...
182
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
188
click to vote
ICDIM
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose the mqr-tree, a two-dimensional spatial access method that improves upon the 2DR-tree. The 2DRtree uses two-dimensional nodes so that the relationships between all obje...
222
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...