34229 search results - page 244 / 6846 » Power-aware computing systems |
158
click to vote
JSAT
2010
14 years 10 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
542
click to vote
Presentation
In this paper, we propose a personal navigation system for tourism called P-Tour. When a tourist specifies multiple destinations with relative importance and restrictions on arriva...
131
click to vote
ACL
2012
13 years 6 months ago
2012
Writing in English might be one of the most difficult tasks for EFL (English as a Foreign Language) learners. This paper presents FLOW, a writing assistance system. It is built ba...
240
click to vote
CONCUR
2012
Springer
13 years 6 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
136
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...