Sciweavers

1453 search results - page 12 / 291
» State and history in operating systems
Sort
View
ICDE
2003
IEEE
144views Database» more  ICDE 2003»
16 years 1 months ago
Flux: An Adaptive Partitioning Operator for Continuous Query Systems
The long-running nature of continuous queries poses new scalability challenges for dataflow processing. CQ systems execute pipelined dataflows that may be shared across multiple q...
Mehul A. Shah, Joseph M. Hellerstein, Sirish Chand...
ECRTS
2010
IEEE
15 years 1 months ago
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi
ICFEM
2005
Springer
15 years 5 months ago
29 New Unclarities in the Semantics of UML 2.0 State Machines
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
Harald Fecher, Jens Schönborn, Marcel Kyas, W...
IUI
2000
ACM
15 years 4 months ago
Data exploration across temporal contexts
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...
Mark Derthick, Steven F. Roth
LOGCOM
2008
110views more  LOGCOM 2008»
15 years 8 days ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge