29172 search results - page 9 / 5835 » Modeling Systems in CLP |
IFIP
2001
Springer
13 years 12 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
ISCC
2000
IEEE
13 years 12 months ago
2000
IEEE
-- In a WAN established infrastructure, one of the main problems ATM network planners and users face, when greater than T1/E1 bandwidth is required, is the high cost associated to ...
CN
2011
13 years 2 months ago
2011
SIGDIAL
2011
12 years 10 months ago
2011
CONTEXT
2011
Springer
12 years 7 months ago
2011
Springer