309 search results - page 41 / 62 » Platform modeling for exploration and synthesis |
ATVA
2004
Springer
15 years 1 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
I3E
2009
14 years 7 months ago
2009
Modelling Business to Government (B2G) interaction is considered to be more complex than Citizen to Government (C2G) interaction, since the concept of authorized citizens, represen...
SAMOS
2005
Springer
15 years 3 months ago
2005
Springer
The design of appropriate communication architectures for complex Systems-on-Chip (SoC) is a challenging task. One promising alternative to solve these problems are Networks-on-Chi...
JSA
2007
2007
Application of deterministic and stochastic Petri-Nets for performance modeling of NoC architectures
14 years 10 months ago
The design of appropriate communication architectures for complex Systems-on-Chip (SoC) is a challenging task. One promising alternative to solve these problems are Networks-on-Ch...
RTCSA
2007
IEEE
15 years 4 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...