880 search results - page 74 / 176 » Model checking erlang programs: the functional approach |
133
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
159
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
Most data-mining techniques seek a single model that optimizes an objective function with respect to the data. In many real-world applications several models will equally optimize...
145
click to vote
NIPS
1993
15 years 5 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
144
click to vote
DMSN
2004
ACM
15 years 9 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
160
click to vote
SCP
2008
15 years 4 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...