Sciweavers

3224 search results - page 130 / 645
» Review of Affective Computing
Sort
View
162
Voted
MICRO
2003
IEEE
152views Hardware» more  MICRO 2003»
15 years 9 months ago
A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
Shubhendu S. Mukherjee, Christopher T. Weaver, Joe...
152
Voted
ACSAC
2000
IEEE
15 years 8 months ago
On Computer Viral Infection and the Effect of Immunization
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
Chenxi Wang, John C. Knight, Matthew C. Elder
116
Voted
CSCW
2000
ACM
15 years 8 months ago
MUSICFX: an arbiter of group preferences for computer supported collaborative workouts
Environmental factors affecting shared spaces are typically designed to appeal to the broadest audiences they are expected to serve, ignoring the preferences of the people actuall...
Joseph F. McCarthy, Theodore D. Anagnost
140
Voted
CAV
2009
Springer
123views Hardware» more  CAV 2009»
15 years 7 months ago
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
David Monniaux
127
Voted
CAINE
2004
15 years 5 months ago
Adjusting Web Caching Computers to Reduce Communication Channel Allocation
On the Internet, it is common practice to use a computer to provide web caching services. Such services aim to reduce network utilization and improve access time to a web page. Li...
R. Zuck, A. Williams, B. Kair, H. Bui, Catherine S...