2019 search results - page 162 / 404 » Programming with Shared Data Abstractions |
112
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
118
click to vote
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
148
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
149
click to vote
CAIP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
114
click to vote
NOMS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Network monitoring and measurement is commonly regarded as an essential function for understanding, managing and improving the performance and security of network infra...