Sciweavers

529 search results - page 42 / 106
» An Analytic Logic of Aggregation
Sort
View
QEST
2009
IEEE
15 years 4 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
ISLPED
2009
ACM
127views Hardware» more  ISLPED 2009»
15 years 4 months ago
Nanometer MOSFET effects on the minimum-energy point of 45nm subthreshold logic
In this paper, we observe that minimum energy Emin of subthreshold logic dramatically increases when reaching 45 nm node. We demonstrate by circuit simulation and analytical model...
David Bol, Dina Kamel, Denis Flandre, Jean-Didier ...
IDEAS
1997
IEEE
110views Database» more  IDEAS 1997»
15 years 1 months ago
Accommodating Logical Logging under Fuzzy Checkpointing in Main Memory Databases
This paper presents a simple and effective method to reduce the size of log data for recovery in main memory databases. Fuzzy checkpointing is known to be very efficient in main ...
Seung-Kyoon Woo, Myoung-Ho Kim, Yoon-Joon Lee
CSL
2010
Springer
14 years 10 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
ICCSA
2005
Springer
15 years 3 months ago
Improved Location Management Scheme Based on Autoconfigured Logical Topology in HMIPv6
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
Jongpil Jeong, Hyunsang Youn, Hyunseung Choo, Euns...