1054 search results - page 97 / 211 » From a Verified Kernel towards Verified Systems |
165
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
198
click to vote
ICC
2008
IEEE
16 years 22 days ago
2008
IEEE
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
155
click to vote
MUE
2008
IEEE
16 years 20 days ago
2008
IEEE
The capability of providing real-time multimedia player over the Internet is an important future application for embedded system. However, the main challenge of such an applicatio...
172
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPG...
180
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
On-line pen input benefits greatly from mode detection when the user is in a free writing situation, where he is allowed to write, to draw, and to generate gestures. Mode detecti...