Sciweavers

535 search results - page 62 / 107
» Termination of Abstract Reduction Systems
Sort
View
ICTAI
2000
IEEE
14 years 2 months ago
Designing a learning-automata-based controller for client/server systems: a methodology
Abstract— Polling policies have been introduced to simplify the accessing process in client/server systems by a centralized control access scheme. This paper considers a client/s...
Georgios I. Papadimitriou, Athena Vakali, Andreas ...
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
JSAC
2008
120views more  JSAC 2008»
13 years 10 months ago
Optimal joint probing and transmission strategy for maximizing throughput in wireless systems
Abstract-- In broadcast fading channel, channel variations can be exploited through what is referred to as multiuser diversity and opportunistic scheduling for improving system per...
Prasanna Chaporkar, Alexandre Proutiére
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
13 years 4 months ago
On the robustness of sampled-data systems to uncertainty in continuous-time delays
Abstract--In this note, we consider the robust stability of sampleddata systems with respect to continuous-time delay. We argue that many results in the literature implicitly assum...
Igal Alterman, Leonid Mirkin
TPCTC
2010
Springer
147views Hardware» more  TPCTC 2010»
13 years 4 months ago
Assessing and Optimizing Microarchitectural Performance of Event Processing Systems
Abstract. Event Processing (EP) systems are being progressively used in business critical applications in domains such as algorithmic trading, supply chain management, production m...
Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques