The software for today’s personal computing environments has become so complex that no single person can under-stand an entire system. Our group’s early experiences with personal computing led us to understand that the essen-tial model of personal computing can be expressed much more compactly. Our group engaged in a project (called the STEPS project) to materialize that vision over the last six years [1]. Several interesting results came out of the STEPS project. There are various meta-language implementations [2][3]. A new stream-processing language called Nile was invented. The syntax of Nile allows a fully-featured vector graphics engine called Gezira to be written in a clean, mathematical manner in less than 500 lines of code [4]. We a...
Computers such as personal computers and machine-embeded computers come into wide use in our daily l...
Since 2006, we have been experiencing two very important developments in computing. One is that trem...
Crowdsourcing and human computation are transforming human-computer interaction, and CHI has led the...
Proceedings of: First International Workshop on Sustainable Ultrascale Computing Systems (NESUS 2014...
Nowadays digital literacies are one of the requirements to employees in various areas of human acti...
Why is it that mathematical results are useful for centuries, yet computer programs suffer tumultuou...
In this chapter, we discuss the open challenges in building self-aware computing systems that are st...
The problem of automatically generating hardware modules from a high level representation of an appl...
A digital computer is a programmable device which on the broadest level supports the manipulation o...
Here we consider performative � descriptions of discrete computation known as sour�e �ode� from the ...
Computer hardware development is accelerating at an unprecedented pace. Year by year we have faster ...
Over the past decade, the artificial evolu-tion of computer code has become a rapidly spreading tech...
PhD ThesisProgramming, for the past thirty years, has been based on the sequential von Neumann co...
A rapid convergence of computer technologies from two historically disparate markets may dramaticall...
Computers are an indispensable part of our daily lives. By performing all manner of tasks they allow...
Computers such as personal computers and machine-embeded computers come into wide use in our daily l...
Since 2006, we have been experiencing two very important developments in computing. One is that trem...
Crowdsourcing and human computation are transforming human-computer interaction, and CHI has led the...
Proceedings of: First International Workshop on Sustainable Ultrascale Computing Systems (NESUS 2014...
Nowadays digital literacies are one of the requirements to employees in various areas of human acti...
Why is it that mathematical results are useful for centuries, yet computer programs suffer tumultuou...
In this chapter, we discuss the open challenges in building self-aware computing systems that are st...
The problem of automatically generating hardware modules from a high level representation of an appl...
A digital computer is a programmable device which on the broadest level supports the manipulation o...
Here we consider performative � descriptions of discrete computation known as sour�e �ode� from the ...
Computer hardware development is accelerating at an unprecedented pace. Year by year we have faster ...
Over the past decade, the artificial evolu-tion of computer code has become a rapidly spreading tech...
PhD ThesisProgramming, for the past thirty years, has been based on the sequential von Neumann co...
A rapid convergence of computer technologies from two historically disparate markets may dramaticall...
Computers are an indispensable part of our daily lives. By performing all manner of tasks they allow...
Computers such as personal computers and machine-embeded computers come into wide use in our daily l...
Since 2006, we have been experiencing two very important developments in computing. One is that trem...
Crowdsourcing and human computation are transforming human-computer interaction, and CHI has led the...