3229 search results - page 541 / 646 » The Theory of Timed Automata |
157
click to vote
SIMPRA
2010
15 years 4 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
131
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
131
click to vote
TALG
2010
15 years 4 months ago
2010
Fractional hypertree width is a hypergraph measure similar to tree width and hypertree width. Its algorithmic importance comes from the fact that, as shown in previous work [14], ...
174
click to vote
TCOM
2010
15 years 4 months ago
2010
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...