4426 search results - page 675 / 886 » Concurrent Constraint Programming |
204
Voted
HPCN
2000
Springer
15 years 9 months ago
2000
Springer
We build an analytical model for an application utilizing master-slave paradigm. In the model, only three architecture parameters are used: latency, bandwidth and flop rate. Instea...
181
Voted
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
174
Voted
JLP
2010
15 years 28 days ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
193
Voted
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
178
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...