535 search results - page 49 / 107 » Do we need dependent types |
COMCOM
2006
13 years 7 months ago
2006
Bluetooth is a new technology for Wireless Personal Area Networks (WPANs). It intends to eliminate the need of wires and connectors between a variety of devices, like PCs and thei...
WCET
2010
13 years 5 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
PAMI
2002
13 years 7 months ago
2002
Tracking regions in an image sequence is a challenging and di cult problem in image processing and computer vision, and at the same time, one that has many important applications:...
ISSRE
2002
IEEE
14 years 19 days ago
2002
IEEE
Recovery systems must save state before a failure occurs to enable the system to recover from the failure. However, recovery will fail if the recovery system saves any state corru...
HT
2004
ACM
14 years 1 months ago
2004
ACM
A high quality of free movement, or mobility, is key to the accessibility, design, and usability of many ‘common-use’ hypermedia resources (Web sites) and key to good mobility...