10910 search results - page 391 / 2182 » Input modeling using a computer algebra system |
203
click to vote
NGITS
1999
Springer
15 years 11 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
251
click to vote
MJ
2011
15 years 1 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
164
click to vote
IJHPCA
2006
15 years 6 months ago
2006
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
147
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
179
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The deletion channel is the simplest point-to-point communication channel that models lack of synchronization. Input bits are deleted independently with probability d, and when th...