10899 search results - page 106 / 2180 » The GP Programming System |
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
CAL
2002
13 years 8 months ago
2002
Embedded systems commonly execute one program for their lifetime. Designing embedded system architectures with configurable components, such that those components can be tuned to t...
INTERACT
2003
13 years 10 months ago
2003
: In 1998 the Stan Ackermans Institute at the Technical University Eindhoven (TU/e), the Netherlands, founded the User System Interaction (USI) Design Program. This program is a tw...
JUCS
2008
13 years 9 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
QSIC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...