366 search results - page 50 / 74 » Machine Function Based Control Code Algebras |
LFP
1992
13 years 9 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
FECS
2009
13 years 6 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...