26071 search results - page 388 / 5215 » Making |
194
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
193
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
159
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Caches, block memories, predictors, state tables, and other forms of on-chip memory are continuing to consume a greater portion of processor designs with each passing year. Mak...
214
click to vote
NICSO
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents the novel use of the Neural-endocrine architecture for swarm robotic systems. We make use of a number of behaviours to give rise to emergent swarm behaviour to ...
157
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...