2282 search results - page 335 / 457 » Active property checking |
EH
2003
IEEE
14 years 3 months ago
2003
IEEE
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...
ICDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
We introduce the hash history mechanism for capturing dependencies among distributed replicas. Hash histories, consisting of a directed graph of version hashes, are independent of...
ICIP
2003
IEEE
14 years 3 months ago
2003
IEEE
We describe a general framework to design optimal image processing algorithms for polarimetric images formed with coherent radiations, which can be optical or microwave. Starting ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
As programs evolve, their code increasingly becomes tangled by programmers and requirements. This mosaic quality complicates program comprehension and maintenance. Many of these a...
SAINT
2003
IEEE
14 years 3 months ago
2003
IEEE
Service oriented computing and peer-to-peer (P2P) computing are emerging technologies which provide, from the architectural point of view, scalability and flexibility. From their...