386 search results - page 54 / 78 » Coalgebraic Hybrid Logic |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...
ISDA
2005
IEEE
15 years 5 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
102
click to vote
ECUMN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. MPNT (Multicast Proxies NeTwork) is an overlay architecture that was first conceived to provide multicast access to unicast-only users, like TutTelNet distant students. ...
DAC
1996
ACM
15 years 3 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...