6894 search results - page 260 / 1379 » Generation Problems |
145
click to vote
ADCM
2007
15 years 6 months ago
2007
A geometric derivation of numerical integrators for optimal control problems is proposed. It is based in the classical technique of generating functions adapted to the special fea...
146
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
163
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
166
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
173
click to vote
JISE
2008
15 years 6 months ago
2008
We propose in this paper a two-phase algorithm, named algorithm Layered-Cutting, to address the problem of broadcast program generation in a multi-system heterogeneous overlayed w...