1585 search results - page 307 / 317 » A framework for computer-aided validation |
113
Voted
JSAC
2008
14 years 11 months ago
2008
Wireless Mesh Networks (WMNs) are envisaged to extend Internet access and other networking services in personal, local, campus, and metropolitan areas. Mesh routers (MR) form the c...
119
click to vote
JUCS
2008
14 years 11 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
105
click to vote
ET
2007
14 years 11 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...
117
click to vote
MICRO
2006
IEEE
14 years 11 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
SIAMAM
2008
14 years 11 months ago
2008
This paper generalizes well-established derivations of the radiative transfer equation from first principles to model the energy density of time-dependent and monochromatic high f...