Sciweavers

2501 search results - page 276 / 501
» Obligations and Their Interaction with Programs
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Static macro data flow: Compiling global control into local control
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
Pritish Jetley, Laxmikant V. Kalé
IPPS
2010
IEEE
15 years 4 months ago
Operating system resource management
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
Burton Smith
174
Voted
IFIP
2009
Springer
15 years 3 months ago
A Collaboration Pattern Model for Virtual Organisations
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
Nikos Papageorgiou, Giannis Verginadis, Dimitris A...
FUIN
2010
114views more  FUIN 2010»
15 years 3 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
CORR
2012
Springer
204views Education» more  CORR 2012»
14 years 1 months ago
A Framework for Optimizing Paper Matching
At the heart of many scientific conferences is the problem of matching submitted papers to suitable reviewers. Arriving at a good assignment is a major and important challenge fo...
Laurent Charlin, Richard S. Zemel, Craig Boutilier