PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems.
Andreas PyttelAlexander SedlmeierChristian VeithPublished in: DATE (1998)
Keyphrases
- reactive systems
- model checking
- multi processor
- temporal logic
- petri net
- information flow
- formal methods
- control flow
- state machines
- parallel processing
- shared memory
- real time
- master slave
- real time systems
- processing elements
- multi core processors
- level parallelism
- parallel implementation
- parallel architecture
- data flow
- error rate
- knowledge acquisition
- low cost
- data mining