3736 search results - page 98 / 748 » Hand-Writing Program Generator Generators |
232
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
128
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
128
click to vote
AIPS
2009
15 years 3 months ago
2009
Solving multiagent planning problems modeled as DECPOMDPs is an important challenge. These models are often solved by using dynamic programming, but the high resource usage of cur...
114
click to vote
METRICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
124
click to vote
ISHPC
2000
Springer
15 years 6 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...