440 search results - page 87 / 88 » A challenge for atomicity verification |
HUC
2010
Springer
13 years 6 months ago
2010
Springer
Medication compliance is a critical component in the success of any medical treatment. However, only 50% of patients correctly adhere to their prescription regimens. Mobile and ub...
DAC
2010
ACM
13 years 5 months ago
2010
ACM
Leveraging the power of nowadays graphics processing units for robust power grid simulation remains a challenging task. Existing preconditioned iterative methods that require inco...
ENTCS
2006
13 years 5 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
SIGCSE
2008
ACM
13 years 5 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
COMPSEC
2004
13 years 5 months ago
2004
Abstract Up to now biometric methods have been used in cryptography for authentication purposes. In this paper we propose to use biological data for generating sequences of random ...