1982 search results - page 270 / 397 » Parametricity and dependent types |
71
Voted
DATE
2008
IEEE
15 years 4 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 ...
DSN
2008
IEEE
15 years 4 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...
92
Voted
GLOBECOM
2008
IEEE
15 years 4 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...
97
Voted
HOST
2008
IEEE
15 years 4 months 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...
80
Voted
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Communication networks, such as networks formed by phone calls and email communications, can be modeled as dynamic graphs with vertices representing agents and edges representing ...