54 search results - page 5 / 11 » Program Fragments, Linking, and Modularization |
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
FBIT
2007
IEEE
14 years 2 months ago
2007
IEEE
—Standard genetic programming genotypes are generally highly disorganized and poorly structured, with little code replication. This is also true of existing developmental genetic...
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
HICSS
1997
IEEE
14 years 5 days ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...