Logic deduction agent based distributed parallel test platform on hardware-in-the-loop simulation system.
Fuqing WangWei DongYindong JiPublished in: SpringSim (2010)
Keyphrases
- parallel hardware
- real time
- massively parallel
- low cost
- intuitionistic logic
- multi core processors
- digital circuits
- modal logic
- parallel architecture
- computing platform
- computer architecture
- computing systems
- theorem proving
- inference rules
- hardware and software
- computer systems
- logic programming
- computer algebra
- shared memory
- parallel implementation
- distributed memory
- high end
- parallel processing
- proof procedure
- automated theorem proving
- built in self test
- pilot testing
- parallel architectures
- parallel programming
- parallel computation
- multi valued