65 search results - page 12 / 13 » Modeling Safe Operating Area in Hardware Description Languag... |
107
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
119
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
103
Voted
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
148
Voted
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
120
Voted
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...