Sciweavers

1469 search results - page 101 / 294
» Design and Implementation of Software Objects in Hardware
Sort
View
CPE
2000
Springer
292views Hardware» more  CPE 2000»
14 years 1 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
DAC
1997
ACM
14 years 1 months ago
Static Timing Analysis of Embedded Software
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
Sharad Malik, Margaret Martonosi, Yau-Tsun Steven ...
OOPSLA
2009
Springer
14 years 3 months ago
Scalable nonblocking concurrent objects for mission critical code
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
Damian Dechev, Bjarne Stroustrup
FCCM
2007
IEEE
111views VLSI» more  FCCM 2007»
14 years 3 months ago
A Structural Object Programming Model, Architecture, Chip and Tools for Reconfigurable Computing
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
Michael Butts, Anthony Mark Jones, Paul Wasson
ROBOCUP
2005
Springer
90views Robotics» more  ROBOCUP 2005»
14 years 2 months ago
Real-Time Diagnosis and Repair of Faults of Robot Control Software
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
Gerald Steinbauer, Martin Mörth, Franz Wotawa