4397 search results - page 181 / 880 » Relational Algebra Operations |
134
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
197
Voted
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
Relational DBMS typically execute concurrent queries independently by invoking a set of operator instances for each query. To exploit common data retrievals and computation in con...
130
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
108
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper discusses two closely related classes of linear “multiple resonance networks”. The first class, instead of transferring all the energy in an input capacitor or in...
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...