3116 search results - page 452 / 624 » Positively dependent types |
172
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
163
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This work evaluates task allocation strategies based on bin-packing algorithms in the context of multiprocessor systems-on-chip (MPSoCs) with task migration capabilities, running ...
165
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
169
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper proposes a methodology of video–stream output at the receiver for enhancing QoE (Quality of Experience) in audio–video IP transmission. The methodology copes wit...
178
click to vote
HOST
2008
IEEE
16 years 29 days ago
2008
IEEE
—A number of applications depend on the protection of security-sensitive hardware, preventing unauthorized users from gaining access to the functionality of the integrated circui...