396 search results - page 46 / 80 » Using Refinement Checking as System Testing |
TVLSI
1998
14 years 9 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
103
click to vote
SIGCOMM
2012
ACM
13 years 5 days ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
BIOCOMP
2006
14 years 11 months ago
2006
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...
105
click to vote
WOTUG
2008
14 years 11 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
MAM
2008
14 years 9 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...