1768 search results - page 217 / 354 » A Logic for Algebraic Effects |
179
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we study the relationship between the parameter θ, used in the design of the MinMax controller, and the conditioning of the approximate algebraic Riccati equatio...
215
Voted
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Recently Li and Xia have proposed a transmission scheme for wireless relay networks based on the Alamouti space time code and orthogonal frequency division multiplexing to comb...
220
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
Complex event processing has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. The goa...
179
click to vote
ACSC
2005
IEEE
16 years 21 days ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
224
click to vote
ISORC
2005
IEEE
16 years 20 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...