3335 search results - page 255 / 667 » Grid result checking |
110
Voted
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
The recent paradigm shift to multi-core systems results in high system throughput within a specified power budget. However, future systems still require good single thread perfor...
167
Voted
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...
148
click to vote
DASFAA
2010
IEEE
16 years 15 days ago
2010
IEEE
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
110
click to vote
APGV
2006
ACM
15 years 11 months ago
2006
ACM
In order to provide well-grounded guidelines for interface design, we systematically examined the effects of 2D geometric transformations and background grids on visual memory. We...
148
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...