1342 search results - page 245 / 269 » Ordered Programs as Abductive Systems |
CGO
2006
IEEE
14 years 2 months ago
2006
IEEE
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
SENSYS
2006
ACM
14 years 2 months ago
2006
ACM
It is vital to support concurrent applications sharing a wireless sensor network in order to reduce the deployment and administrative costs, thus increasing the usability and efï¬...
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
Every campus department needs computer support, from ordering and setting up new computers to installing software and answering software questions. This is in addition to training...
COOPIS
1998
IEEE
14 years 28 days ago
1998
IEEE
Recent advances in wireless technologies have made the mobile computing a reality. In order to provide services of good quality to mobile users and improve the system performance,...