1737 search results - page 235 / 348 » On Interpolation in Existence Logics |
188
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
220
click to vote
AINA
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper is a contribution to the inception of multiple tokens in solving distributed mutual exclusion problem. The proposed algorithm is based on the token ring approach and al...
167
click to vote
DATE
2008
IEEE
16 years 24 days ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
159
click to vote
ASAP
2007
IEEE
16 years 20 days ago
2007
IEEE
Currently, television sets with flat plasma and LCD screens with improved resolutions and better color quality are emerging. To fully utilize their capabilities, lower resolution...
172
click to vote
DASFAA
2007
IEEE
16 years 20 days ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...