214 search results - page 31 / 43 » On Turing machines, dynamical systems and the Atiyah problem |
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
KCAP
2003
ACM
14 years 20 days ago
2003
ACM
Tools for filtering the World Wide Web exist, but they are hampered by the difficulty of capturing user preferences in such a diverse and dynamic environment. Recommender systems ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
CF
2009
ACM
14 years 1 months ago
2009
ACM
As multithreaded server applications and runtime systems prevail, garbage collection is becoming an essential feature to support high performance systems. The fundamental issue of...