1127 search results - page 57 / 226 » Theory Extension in ACL2(r) |
108
Voted
FATES
2004
Springer
15 years 6 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
109
click to vote
MPC
2010
Springer
15 years 5 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
88
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
99
Voted
ECAL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
88
Voted
ICCD
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper proposes a new way of efficiently doing arbitrary ¢ -bit permutations in programmable processors modeled on the theory of omega and flip networks. The new omflip ins...