Sciweavers

5748 search results - page 893 / 1150
» Web Engineering Resources
Sort
View
136
Voted
ICSEA
2007
IEEE
15 years 10 months ago
Sycophant: An API for Research in Context-Aware User Interfaces
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...
Anil Shankar, Juan C. Quiroz, Sergiu M. Dascalu, S...
ISPASS
2007
IEEE
15 years 10 months ago
An Analysis of Performance Interference Effects in Virtual Environments
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic ...
111
Voted
SEFM
2007
IEEE
15 years 10 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
133
Voted
ASWEC
2006
IEEE
15 years 10 months ago
Over-the-air Deployment of Applications in Multi-Platform Environments
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...
Tore Fjellheim
145
Voted
CCECE
2006
IEEE
15 years 10 months ago
FPGA-Based SAT Solver
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...
Mona Safar, M. Watheq El-Kharashi, Ashraf Salem