3256 search results - page 505 / 652 » Applications of Formal Methods to System Design and Verifica... |
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
138
click to vote
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
TNN
2008
14 years 10 months ago
2008
Abstract--The stationarity requirement for the process generating the data is a common assumption in classifiers' design. When such hypothesis does not hold, e.g., in applicat...
GECCO
2006
Springer
15 years 1 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 ...
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...