11909 search results - page 297 / 2382 » The Scheme Programming Language |
170
click to vote
ACSC
2005
IEEE
16 years 9 days ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
170
Voted
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
182
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
197
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
154
click to vote
VL
1998
IEEE
15 years 11 months ago
1998
IEEE
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...