5314 search results - page 307 / 1063 » Hybrid Dynamic Programming |
146
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
139
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
146
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
166
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This paper proposes to implement aspects as metaobjects and using run time aspect weaving. The metaobjects are metaobjects as defined in computational reflection and can be exchan...
198
click to vote
FMOODS
2003
15 years 8 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...