3130 search results - page 327 / 626 » Design Correctness of Digital Systems |
162
Voted
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
203
Voted
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
244
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...
222
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
222
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...