Sciweavers

3799 search results - page 711 / 760
» An Engineering Approach to Formal Methods
Sort
View
DATE
2010
IEEE
181views Hardware» more  DATE 2010»
15 years 9 months ago
Temperature-aware dynamic resource provisioning in a power-optimized datacenter
- The current energy and environmental cost trends of datacenters are unsustainable. It is critically important to develop datacenter-wide power and thermal management (PTM) soluti...
Ehsan Pakbaznia, Mohammad Ghasemazar, Massoud Pedr...
ISMVL
2010
IEEE
209views Hardware» more  ISMVL 2010»
15 years 9 months ago
Secure Design Flow for Asynchronous Multi-valued Logic Circuits
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev
ACMDIS
2000
ACM
15 years 8 months ago
From Usability Lab to "Design Collaboratorium": Reframing Usability Practice
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
Jacob Buur, Susanne Bødker
164
Voted
ICTAI
1999
IEEE
15 years 8 months ago
Face Detection and Its Applications in Intelligent and Focused Image Retrieval
This paper presents a face detection technique and its applications in image retrieval. Even though this face detection method has relatively high false positives and low detectio...
Zhongfei Zhang, Rohini K. Srihari, Aibing Rao
146
Voted
AIRWEB
2006
Springer
15 years 7 months ago
Web Spam Detection with Anti-Trust Rank
Spam pages on the web use various techniques to artificially achieve high rankings in search engine results. Human experts can do a good job of identifying spam pages and pages wh...
Vijay Krishnan, Rashmi Raj