203 search results - page 7 / 41 » Making Computer Programming Fun and Accessible |
SP
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
PPOPP
1995
ACM
14 years 1 months ago
1995
ACM
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We prese...
Book
The book covers the following topics: examining the structure of HTTP requests, monitoring the packets being transferred between a web server and web browser, executing simple HTTP...
HCI
2009
13 years 7 months ago
2009
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, we present an analytic model and methodology to determine optimal scheduling policy that involves two dimension space allocation: time and code, in High Speed Do...