11022 search results - page 253 / 2205 » Programming Systems for Autonomy |
159
click to vote
ITICSE
2006
ACM
16 years 14 days ago
2006
ACM
ProgrammingLand is an online system for delivering content to introductory computer science courses as a substitute for a conventional textbook. Because the system has a large num...
174
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
271
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
172
click to vote
ESSOS
2009
Springer
15 years 11 months ago
2009
Springer
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...
180
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...