4693 search results - page 610 / 939 » Verifying Hybrid Systems |
147
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The energy use of a ground-source heat pump (GSP) for heating, cooling and hot water in a Central Pennsylvania residence (namely, the author’s house) is analyzed, compared to...
246
click to vote
ISPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
147
click to vote
AFRICACRYPT
2008
Springer
16 years 1 months ago
2008
Springer
In this paper, we investigate the security of the Tractable Rationale Maps Signature (TRMS) signature scheme [9] proposed at PKC’05. To do so, we present a hybrid approach for so...
180
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
177
click to vote
EH
2005
IEEE
16 years 12 days ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...