5314 search results - page 344 / 1063 » Hybrid Dynamic Programming |
193
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
237
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
178
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
170
Voted
TOOLS
2010
IEEE
15 years 4 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
172
click to vote
BIOINFORMATICS
2006
15 years 6 months ago
2006
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...