5377 search results - page 223 / 1076 » Programming Languages For Interactive Computing |
107
click to vote
ICCHP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce the characteristics of the educational platform that is being developed within the SYNENNOESE project. The platform integrates avatar and animation techn...
119
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
ML
2006
ACM
15 years 7 months ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
100
click to vote
ICFP
2006
ACM
16 years 28 days ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
100
click to vote
LICS
1989
IEEE
15 years 4 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...