7099 search results - page 143 / 1420 » Context for models of concurrency |
211
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
181
Voted
NETWORKING
2008
15 years 8 months ago
2008
Previously, we identified the failure-induced receive buffer (rbuf) blocking problem in Concurrent Multipath Transfer using SCTP multihoming (CMT), and proposed CMT with a Potentia...
203
Voted
IJCAI
2001
15 years 8 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
183
click to vote
ENTCS
2007
15 years 7 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
190
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...