6800 search results - page 567 / 1360 » Testing with Functions as Specifications |
189
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present a novel method for merging sets of computational patterns into a reconfigurable cell respecting design constraints and optimizing specific design aspects...
208
click to vote
GRC
2007
IEEE
15 years 11 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
178
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
150
click to vote
CBSE
2006
Springer
15 years 11 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...
232
click to vote
COMPLIFE
2006
Springer
15 years 11 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...