Sciweavers

541 search results - page 60 / 109
» Factoring Solution Sets of Polynomial Systems in Parallel
Sort
View
BCSHCI
2008
15 years 1 months ago
Workshop HCI for medicine and health care (HCI4MED)
Ensuring good usability can be seen as the key success factor in our whole digital world: technology must support people. In particular, Medicine and Healthcare are currently subj...
Andreas Holzinger, Harold W. Thimbleby, Russell Be...
ICLP
1997
Springer
15 years 4 months ago
Non-Failure Analysis for Logic Programs
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
Saumya K. Debray, Pedro López-García...
ANOR
2010
130views more  ANOR 2010»
14 years 9 months ago
Greedy scheduling with custom-made objectives
We present a methodology to automatically generate an online job scheduling method for a custom-made objective and real workloads. The scheduling problem comprises independent para...
Carsten Franke, Joachim Lepping, Uwe Schwiegelshoh...
DAC
2005
ACM
16 years 24 days ago
Efficient fingerprint-based user authentication for embedded systems
User authentication, which refers to the process of verifying the identity of a user, is becoming an important security requirement in various embedded systems. While conventional...
Pallav Gupta, Srivaths Ravi, Anand Raghunathan, Ni...
ICS
2005
Tsinghua U.
15 years 5 months ago
A performance-conserving approach for reducing peak power consumption in server systems
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...
Wesley M. Felter, Karthick Rajamani, Tom W. Keller...