2081 search results - page 184 / 417 » codes 2006 |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
There are several kinds of non-invasive imaging methods that are used to collect data from the brain, e.g., EEG, MEG, PET, SPECT, fMRI, etc. It is difficult to get resolution of i...
127
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
NETGAMES
2006
ACM
15 years 5 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
GPUs are difficult to program for general-purpose uses. Programmers can either learn graphics APIs and convert their applications to use graphics pipeline operations or they can ...