2585 search results - page 312 / 517 » Automating Coherent Logic |
147
click to vote
GIS
2008
ACM
15 years 6 months ago
2008
ACM
SRTM data is distributed at horizontal resolution of 30 meters for areas within the U.S.A. and at 90 meters resolution for the rest of the world. A resolution of 90m can be conside...
199
click to vote
JPDC
2010
15 years 5 months ago
2010
Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of mul...
152
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
280
click to vote
VLDB
2001
ACM
16 years 6 months ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
179
click to vote
DDECS
2007
IEEE
16 years 28 days ago
2007
IEEE
— To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scal...