4434 search results - page 818 / 887 » On the Composition of Hybrid Systems |
179
click to vote
CORR
2011
Springer
15 years 1 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...
148
click to vote
MOC
2010
15 years 29 days ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
170
click to vote
PODC
1999
ACM
15 years 10 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
188
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
180
click to vote
JSAC
2006
15 years 6 months ago
2006
4G systems are expected to support data rates of the order of 100 Mbps in the outdoor environment and 1 Gbps in the indoor/stationary environment. In order to support such large p...