4386 search results - page 825 / 878 » A Tamper-Resistant Programming Language System |
SIGCSE
2009
ACM
14 years 10 months ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
HPCA
2007
IEEE
14 years 10 months ago
2007
IEEE
Task-selection policies are critical to the performance of any architecture that uses speculation to extract parallel tasks from a sequential thread. This paper demonstrates that ...
MOBISYS
2006
ACM
14 years 9 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
SIGCSE
2009
ACM
14 years 4 months ago
2009
ACM
Many courses on the history of computing are designed for a general student audience, and as such, include fewer technical details than one might find in a typical CS course. Whi...