Sciweavers

1989 search results - page 229 / 398
» A framework for testing database applications
Sort
View
CORR
2010
Springer
161views Education» more  CORR 2010»
13 years 5 months ago
CrystalGPU: Transparent and Efficient Utilization of GPU Power
General-purpose computing on graphics processing units (GPGPU) has recently gained considerable attention in various domains such as bioinformatics, databases and distributed comp...
Abdullah Gharaibeh, Samer Al-Kiswany, Matei Ripean...
TRIDENTCOM
2006
IEEE
14 years 2 months ago
EVEREST testbed: QoS management evaluation in B3G networks
This paper describes the motivation, methodology and implementation approach of the testbed that has been developed in the framework of the EVEREST project. Such testbed is used f...
Ramon Ferrús, Antoni Gelonch, Ferran Casade...
GROUP
1999
ACM
14 years 15 days ago
Supporting the shared care of diabetic patients
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...
Tim Kindberg, Nick Bryan-Kinns, Ranjit Makwana
PERCOM
2010
ACM
13 years 6 months ago
Measuring mobile phone energy consumption for 802.11 wireless networking
The complexity of modern mobile phones makes it difficult for developers to understand the power consumption of their applications. Our measurement framework produces fine-graine...
Andrew Colin Rice, Simon Hay
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
14 years 5 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz