8486 search results - page 208 / 1698 » Ordered Enumeration Method |
EUROSPI
2007
Springer
14 years 5 months ago
2007
Springer
Web application development is under certain circumstances such as a strong emphasis on time-to-market characterised by the usage of informal and ad-hoc development practices and a...
AI
2004
Springer
14 years 4 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
MEMOCODE
2003
IEEE
14 years 4 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
VTS
1997
IEEE
14 years 3 months ago
1997
IEEE
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...