2145 search results - page 410 / 429 » Architectural Specifications in CASL |
ATAL
2006
Springer
14 years 11 days ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...
CASES
2006
ACM
14 years 11 days ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
FPGA
2004
ACM
14 years 11 days ago
2004
ACM
Pattern matching for network security and intrusion detection demands exceptionally high performance. Much work has been done in this field, and yet there is still significant roo...
FPL
2004
Springer
14 years 11 days ago
2004
Springer
A recent trend towards integrating FPGAs with many heterogeneous components, such as memory systems, dedicated multipliers, etc., has made them an attractive option for implementin...
EMSOFT
2006
Springer
14 years 9 days ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...