4386 search results - page 825 / 878 » A Tamper-Resistant Programming Language System |
SIGCSE
2009
ACM
16 years 1 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...
104
click to vote
HPCA
2007
IEEE
16 years 1 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 ...
147
click to vote
MOBISYS
2006
ACM
16 years 29 days 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...
109
click to vote
FOSSACS
2010
Springer
15 years 8 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
15 years 8 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...