980 search results - page 93 / 196 » Logical Testing |
SGAI
2009
Springer
14 years 3 months ago
2009
Springer
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...
DAC
2004
ACM
14 years 18 days ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
APNOMS
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
FPGA
2004
ACM
14 years 18 days ago
2004
ACM
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...
DIMACS
1996
13 years 10 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...