6054 search results - page 1063 / 1211 » Implementation of Andorra-based Languages |
115
click to vote
CGA
2008
15 years 27 days ago
2008
We present the design, implementation, and initial results of a system for remote lecture attendance based on extending on-campus classrooms to accommodate remotely located studen...
105
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
109
click to vote
CONCURRENCY
2008
15 years 27 days ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
107
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
96
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...