Sciweavers

2255 search results - page 132 / 451
» High Assurance Software Systems
Sort
View
HPCA
1997
IEEE
14 years 2 months ago
Software-Managed Address Translation
In this paper we explore software-managed address translation. The purpose of the study is to specify the memory management design for a high clock-rate PowerPC implementation in ...
Bruce L. Jacob, Trevor N. Mudge
CPE
2000
Springer
292views Hardware» more  CPE 2000»
14 years 2 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
ADHOCNOW
2008
Springer
14 years 4 months ago
DIN: An Ad-Hoc Algorithm to Estimate Distances in Wireless Sensor Networks
Abstract. A current challenge in wireless sensor networks is the positioning of sensor nodes for indoor environments without dedicated hardware. Especially in this domain, many app...
Freddy López Villafuerte, Jochen H. Schille...
CISSE
2008
Springer
13 years 12 months ago
Modified LEACH - Energy Efficient Wireless Networks Communication
Many algorithms and techniques were proposed to increase the efficiency of Sensor Networks. Due to high restrictions of this kind of networks, where the resources are limited, many...
Mohammed Abuhelaleh, Khaled M. Elleithy, Thabet M....
WISER
2004
ACM
14 years 3 months ago
Hardware/software co-design for power system test development
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, ...