12084 search results - page 276 / 2417 » Effect Systems with Subtyping |
181
click to vote
GECCO
2005
Springer
16 years 24 days ago
2005
Springer
Gene libraries have been added to Artificial Immune Systems in analogy to biological immune systems, but to date no careful study of their effect has been made. This work investig...
196
click to vote
SAC
2003
ACM
16 years 16 days ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
211
click to vote
IWSOS
2009
Springer
15 years 12 months ago
2009
Springer
In peer-to-peer storage systems, peers can freely join and leave the system at any time. Ensuring high data availability in such an environment is a challenging task. In this paper...
207
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
210
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...