Sciweavers

2377 search results - page 253 / 476
» Hybrid Systems in TLA
Sort
View
ICESS
2004
Springer
15 years 12 months ago
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Qingxu Deng, Mingsong Lv, Ge Yu
APNOMS
2006
Springer
15 years 10 months ago
GISness System for Fast TSP Solving and Supporting Decision Making
This paper shows that geographic information system can successfully solve TSP (travelling salesman problem). It has been done using a module of the designed and implemented by aut...
Iwona Pozniak-Koszalka, Ireneusz Kulaga, Leszek Ko...
AIIA
2007
Springer
16 years 22 days ago
Ranking and Reputation Systems in the QBF Competition
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...
Massimo Narizzano, Luca Pulina, Armando Tacchella
ISCAS
2003
IEEE
99views Hardware» more  ISCAS 2003»
15 years 11 months ago
Time-delay modelling for multi-layer power systems
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
Ian A. Hiskens
DEXAW
1999
IEEE
202views Database» more  DEXAW 1999»
15 years 11 months ago
Optimizing Global Query Processing Plans in Heterogeneous and Distributed Multidatabase Systems
This work addresses a problem of optimal query processing in heterogeneous and distributed multidatabase systems. The objective is to nd a method for opimization of global query p...
Janusz R. Getta, Seyed M. Sedighi