1063 search results - page 73 / 213 » Programming Methodologies in GCLA |
ICCL
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. We present here a methodology for programming active networks in the environment de ned by our new language PLAN (Packet Language for Active Networks). This environment p...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
SBACPAD
2005
IEEE
14 years 1 months ago
2005
IEEE
The time required to simulate a complete benchmark program using the cycle-accurate model of a microprocessor can be prohibitively high. One of the proposed methodologies, represe...
WSC
1997
13 years 9 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...