1585 search results - page 180 / 317 » A framework for computer-aided validation |
100
Voted
SIGMOD
2002
ACM
16 years 3 months ago
2002
ACM
Relational query optimizers have traditionally relied upon table cardinalities when estimating the cost of the query plans they consider. While this approach has been and continue...
120
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...
151
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we present a new framework for specifying access control policies in smart spaces called Criticality-Aware Access Control (CAAC). The main idea is to automatically r...
117
Voted
SDM
2009
SIAM
16 years 27 days ago
2009
SIAM
Mean-Shift (MS) is a powerful non-parametric clustering method. Although good accuracy can be achieved, its computational cost is particularly expensive even on moderate data sets...
121
Voted
ASAP
2009
IEEE
16 years 26 days ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...