5377 search results - page 649 / 1076 » Programming Languages For Interactive Computing |
157
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper discusses interactive evolutionary algorithms and their application in swarm-based image generation. From an artistās perspective, the computer-generated patterns oļ¬...
190
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
182
click to vote
EMSOFT
2007
Springer
16 years 15 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
217
click to vote
GPCE
2007
Springer
16 years 15 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
162
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
An interface deļ¬nition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate āstubsā that provide separat...