114 search results - page 5 / 23 » PVS: A Prototype Verification System |
CODES
1998
IEEE
13 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
RSP
1998
IEEE
13 years 11 months ago
1998
IEEE
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...
DSRT
2008
IEEE
13 years 9 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
AISS
2010
13 years 5 months ago
2010
A successful IT Company is characterized by its ability to put the right information in front of the right decision-makers at the right time while concerns about security issues. ...