5525 search results - page 218 / 1105 » Verification of Model Transformations |
122
Voted
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
This paper examines some of the reporting and research practices concerning empirical work in genetic programming. We describe several common loopholes and offer three case studie...
114
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
149
Voted
DASC
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...
133
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
117
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...