9974 search results - page 1780 / 1995 » Software Interconnection Models |
132
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
133
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
138
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
System-on-chip communication architectures have a significant impact on the performance and power consumption of modern multiprocessor system-on-chips (MPSoCs). However, customiza...
134
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
136
click to vote
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...