4520 search results - page 275 / 904 » Algebraic Techniques for Timed Systems |
181
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
179
click to vote
AAAI
1990
15 years 8 months ago
1990
Recently-developed techniques have improved the performance of production systems several times over. However, these techniques are not yet adequate for continuous problem solving...
189
click to vote
CCIA
2005
Springer
16 years 25 days ago
2005
Springer
In this paper we propose the use of case-based reasoning techniques to improve the navigation of an autonomous robot in unknown semistructured environments. At the moment the curre...
201
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
212
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...