697 search results - page 44 / 140 » Strategies to Parallelize ILP Systems |
ICPPW
2000
IEEE
15 years 3 months ago
2000
IEEE
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
WWW
2005
ACM
15 years 11 months ago
2005
ACM
Experienced web users have strategies for information search and re-access that are not directly supported by web browsers or search engines. We studied how prevalent these strate...
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
JSSPP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The workshop on job scheduling strategies for parallel processing (JSSPP) studies the myriad aspects of managing resources on parallel and distributed computers. These st...
PADS
2000
ACM
15 years 3 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...