Sciweavers

11455 search results - page 301 / 2291
» The Rayset and Its Applications
Sort
View
SAS
2005
Springer
118views Formal Methods» more  SAS 2005»
16 years 4 days ago
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
Maurice Bruynooghe, John P. Gallagher, Wouter Van ...
EUROPAR
2004
Springer
16 years 2 days ago
Scheduling of MPI Applications: Self-co-scheduling
Scheduling parallel jobs has been an active investigation area. The scheduler has to deal with heterogeneous workloads and try to obtain throughputs and response times such that en...
Gladys Utrera, Julita Corbalán, Jesú...
PPSN
2004
Springer
16 years 20 hour ago
The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling
Two ideas taken from Bayesian optimization and classifier systems are presented for personnel scheduling based on choosing a suitable scheduling rule from a set for each person’s...
Jingpeng Li, Uwe Aickelin
ICSM
2003
IEEE
15 years 12 months ago
DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
Atif M. Memon, Ishan Banerjee, Nada Hashmi, Adithy...
ISADS
2003
IEEE
15 years 12 months ago
Mobile Agent Fault Tolerance for Information Retrieval Applications: An Exception Handling Approach
Maintaining mobile agent availability in the presence of agent server crashes is a challenging issue since developers normally have no control over remote agent servers. A popular...
Simon Pears, Jie Xu, Cornelia Boldyreff