2369 search results - page 383 / 474 » Software Supported Modelling in Pharmacokinetics |
266
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...
177
click to vote
VLC
2008
15 years 6 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
247
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
165
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
182
click to vote
CLUSTER
2009
IEEE
16 years 28 days ago
2009
IEEE
—We present and analyze two new communication libraries, cudaMPI and glMPI, that provide an MPI-like message passing interface to communicate data stored on the graphics cards of...