Sciweavers

1675 search results - page 137 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
156
Voted
JMLR
2008
127views more  JMLR 2008»
15 years 3 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
ECOOP
2010
Springer
15 years 7 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
133
Voted
WSC
1998
15 years 5 months ago
Implementations of Dispatch Rules in Parallel Manufacturing Simulation
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
Chu-Cheow Lim, Yoke-Hean Low, Boon-Ping Gan, Sanja...
138
Voted
SRDS
2008
IEEE
15 years 10 months ago
Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
Eddy Caron, Ajoy Kumar Datta, Franck Petit, C&eacu...
138
Voted
IPPS
2010
IEEE
15 years 1 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