440 search results - page 60 / 88 » Local reasoning for abstraction and sharing |
124
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
117
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We proposed a new search heuristic using the scuba diving metaphor. This approach is based on the concept of evolvability and tends to exploit neutrality which exists in ...
137
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper extends the analogies employed in the development of quantum-inspired evolutionary algorithms by proposing quantum-inspired Hadamard walks, called QHW. A novel quantum-...
122
click to vote
IEEESP
2010
15 years 13 days ago
2010
Abstract—Private data of individuals is constantly being collected, analyzed, and stored by different kinds of organizations: shopping sites to provide better service and recomme...
158
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...