14190 search results - page 265 / 2838 » Abstractions for hybrid systems |
171
click to vote
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
163
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
163
click to vote
CONCUR
1993
Springer
15 years 10 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
157
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
178
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...