Sciweavers

7778 search results - page 274 / 1556
» Designing Controllers for Reachability
Sort
View
VLSID
2009
IEEE
108views VLSI» more  VLSID 2009»
16 years 5 months ago
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
Forrest Brewer, João Pedro Hespanha, Nitin ...
RULES
1995
Springer
120views Database» more  RULES 1995»
15 years 8 months ago
Temporized and Localized Rule Sets
Constraint management plays an important role in design applications where constraints re ect design restrictions and design decisions. ECA rules are a widely used mechanism to enf...
Rose Sturm, Jutta A. Mülle, Peter C. Lockeman...
TII
2010
146views Education» more  TII 2010»
14 years 11 months ago
PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems
Abstract--CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable e...
Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu
ICCL
1998
IEEE
15 years 8 months ago
Transactions for Java
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
Alex Garthwaite, Scott Nettles
ICFP
2007
ACM
16 years 4 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...