1411 search results - page 146 / 283 » A Value Analysis for C Programs |
155
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
128
click to vote
JMLR
2011
14 years 11 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
108
click to vote
WSC
1998
15 years 5 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
128
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...