4930 search results - page 236 / 986 » Testing a Safety-Critical Application |
197
click to vote
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
: We present a Built-In Self-Test (BIST)-based diagnostic approach for the programmable interconnect resources in Field Programmable Gate Arrays (FPGAs) that can be used for either...
191
Voted
AAAI
2007
15 years 9 months ago
2007
The practical success of broadcast encryption hinges on the ability to (1) revoke the access of compromised keys and (2) determine which keys have been compromised. In this work w...
163
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper introduces the Abstract Data and Communication Library (ADCL). ADCL is an application level communication library aiming at providing the highest possible performanc...
162
Voted
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
171
click to vote
SCAM
2006
IEEE
16 years 18 days ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...