5377 search results - page 211 / 1076 » Programming Languages For Interactive Computing |
218
Voted
Book
"The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mathemati...
85
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...
108
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
101
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Fast runtime reconfigurable hardware enables system designers to swap hardware into and out of an FPGA much as the pages of virtual memory are swapped into and out of virtual memor...
121
click to vote
ACE
2004
15 years 2 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...