854 search results - page 59 / 171 » Addressing Dynamic Issues of Program Model Checking |
188
click to vote
WWW
2011
ACM
14 years 9 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
127
click to vote
ICIP
1998
IEEE
16 years 4 months ago
1998
IEEE
We present a modi cation of the well-known snakes algorithm for extracting contours in noisy images. Our modi cation addresses the issues of selection of the control points on an ...
113
click to vote
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
105
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Context-aware applications are applications that implicitly take their context of use into account by adapting to changes in a user's activities and environments. No one has ...
FMSD
2002
15 years 2 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...