1615 search results - page 243 / 323 » Distributed Forward Checking |
145
click to vote
IPPS
2008
IEEE
16 years 18 days ago
2008
IEEE
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...
208
click to vote
IPPS
2008
IEEE
16 years 18 days ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
157
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...
176
click to vote
LCPC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
186
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...