4764 search results - page 823 / 953 » Applications of Error-Control Coding |
125
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
117
click to vote
CF
2007
ACM
15 years 7 months ago
2007
ACM
The transition to multithreaded, multi-core designs places a greater responsibility on programmers and software for improving performance; thread-level parallelism (TLP) will be i...
127
click to vote
COCO
2007
Springer
15 years 7 months ago
2007
Springer
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
134
click to vote
COMSWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software deployment and updating of deployed code is a critical topic in the area of wireless sensor networks (WSN). Reasons are unreliable network connectivity, resource limitatio...
134
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...