734 search results - page 93 / 147 » Design and control of recycle systems by non-linear analysis |
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The application of Artificial Intelligence described in this article is intended to resolve the issue of speculation on the stock market. Genetic Algorithms is the technique that ...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...