661 search results - page 85 / 133 » What Can We Expect from Program Verification |
SASP
2009
IEEE
14 years 3 months ago
2009
IEEE
—Multi-cycle Instruction set extensions (ISE) can be pipelined in order to increase their throughput; however, typical program traces seldom contain consecutive calls to the same...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Wireless ad hoc networks are connected to the fixed Internet by means of Internet gateways. Whenever a node within the ad hoc network wishes to communicate with a host in the I...
IFIP
1993
Springer
14 years 26 days ago
1993
Springer
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
PET
2010
Springer
14 years 22 days ago
2010
Springer
We investigate the degree to which modern web browsers are subject to “device fingerprinting” via the version and configuration information that they will transmit to website...