10870 search results - page 2049 / 2174 » Model Checking Programs |
132
click to vote
JCM
2006
15 years 1 months ago
2006
The use of middleware has extended from simply facilitating applications' communication to a broad set of services supporting a huge spectrum of networked and distributed comp...
DISOPT
2007
15 years 1 months ago
2007
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...
107
click to vote
JSS
2008
15 years 1 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
102
click to vote
JUCS
2008
15 years 1 months ago
2008
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
101
click to vote
JPDC
2006
15 years 1 months ago
2006
Speculative pre-execution achieves efficient data prefetching by running additional prefetching threads on spare hardware contexts. Various implementations for speculative pre-exe...