2302 search results - page 356 / 461 » The Evolution of Concurrent Programs |
134
Voted
ICTAC
2010
Springer
15 years 15 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
141
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
178
click to vote
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
128
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Gene duplication events have played a significant role in genome evolution, particularly in plants. Exhaustive searches for all members of a known gene family as well ...
145
click to vote
MIDDLEWARE
2005
Springer
15 years 8 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...