1524 search results - page 189 / 305 » Operational Semantics of Hybrid Systems |
175
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper, an attitude control strategy is developed for a high-speed quadruped trot. The forces in the trot are redistributed among the legs to stabilize the pitch...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
118
click to vote
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...