3475 search results - page 591 / 695 » A DEA approach for model combination |
167
click to vote
IEEEPACT
2008
IEEE
16 years 25 days ago
2008
IEEE
The emergence of power as a first-class design constraint has fueled the proposal of a growing number of run-time power optimizations. Many of these optimizations trade-off power...
178
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
173
click to vote
VISUALIZATION
2005
IEEE
15 years 12 months ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...
172
click to vote
WSNA
2003
ACM
15 years 11 months ago
2003
ACM
Sensor networks have become an important source of data with numerous applications in monitoring various real-life phenomena as well as industrial applications and traffic contro...
176
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...