314 search results - page 29 / 63 » Generating Path Conditions for Timed Systems |
WIRN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
IIR
2010
13 years 9 months ago
2010
Recommender systems are intelligent applications that help on-line users to tackle information overload by providing recommendations of relevant items. Collaborative Filtering (CF...
DELTA
2004
IEEE
13 years 11 months ago
2004
IEEE
Manufacturing test of chips made of multiple IP cores requires different techniques if ATE is used. As scan chains are commonly used as access paths to the DUT, ATE architectures ...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
With the advancement of micro-sensor and radio technology, wireless sensor networks are deployed in various applications. In a continuous monitoring application, sensors gather in...
HPCA
2003
IEEE
14 years 8 months ago
2003
IEEE
Multi-threaded commercial workloads implement many important internet services. Consequently, these workloads are increasingly used to evaluate the performance of uniprocessor and...