3451 search results - page 455 / 691 » The Architecture and Implementation of Resource Space Model ... |
243
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
179
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
187
Voted
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
192
click to vote
DSS
2007
15 years 6 months ago
2007
Wireless access with handheld devices is a promising addition to the WWW and traditional electronic business. Handheld devices provide convenience and portable access to the huge ...
152
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we propose a new architecture-level parameterized transient thermal behavioral modeling algorithm for emerging thermal related design and optimization problems for ...