2364 search results - page 455 / 473 » On O-Minimal Hybrid Systems |
138
click to vote
CLUSTER
2011
IEEE
13 years 11 months ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
118
click to vote
DAGSTUHL
2011
13 years 11 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
140
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
103
click to vote
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
195
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...