2255 search results - page 340 / 451 » High Assurance Software Systems |
146
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Tiled architectures can provide a model for early estimation of global interconnect costs. A design exploration tool for reconfigurable architectures is currently under developmen...
175
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
CRYPTONITE is a programmable processor tailored to the needs of crypto algorithms. The design of CRYPTONITE was based on an in-depth application analysis in which standard crypto ...
111
Voted
PADS
2003
ACM
15 years 10 months ago
2003
ACM
Federated simulation interfaces such as the High Level Architecture (HLA) were designed for interoperability, and as such are not traditionally associated with highperformance com...
137
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Data compression techniques based on Lempel-Ziv (LZ) algorithm are widely used in a variety of applications, especially in data storage and communications. However, since the LZ a...
111
click to vote
SIGADA
1998
Springer
15 years 9 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...