2282 search results - page 335 / 457 » Active property checking |
118
Voted
EH
2003
IEEE
15 years 8 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...
81
Voted
ICDCS
2003
IEEE
15 years 8 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...
130
Voted
ICIP
2003
IEEE
15 years 8 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 ...
74
Voted
KBSE
2003
IEEE
15 years 8 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...
112
Voted
SAINT
2003
IEEE
15 years 8 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...