1376 search results - page 230 / 276 » Model-Driven Software Verification |
111
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
144
click to vote
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
118
click to vote
ACMDIS
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
100
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...
105
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...