7576 search results - page 1410 / 1516 » UNIX as an Application Program |
176
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
174
click to vote
ACIVS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In this project we present a framework for a multi-touch surface using multiple cameras. With an overhead camera and side-mounted camera we determine the three dimensiona...
178
click to vote
CCS
2007
ACM
16 years 10 days ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
180
click to vote
CSL
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
165
click to vote
EUROGP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The Broadcast Language is a programming formalism devised by Holland in 1975, which aims at improving the efficiency of Genetic Algorithms (GAs) during long-term evolutio...