10159 search results - page 519 / 2032 » System Design Validation Using Formal Models |
186
click to vote
JPDC
2000
15 years 6 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
167
click to vote
EDUTAINMENT
2007
Springer
16 years 13 days ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
134
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Modem computer and communication system design has to consider the timing constraints imposed by communication and system pipelines, and minimize the energy consumption. We adopt ...
170
Voted
FLAIRS
2007
15 years 8 months ago
2007
Typical application fields of Knowledge Based Systems are a usually characterized by having human expertise as the only one source to specify their desired behavior. Their design...
141
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...