2343 search results - page 196 / 469 » MedModel - Healthcare Simulation Software |
161
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
135
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
138
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
154
click to vote
COMSWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Our previous study comparing analytically a comprehensive set of reliable data streaming protocols has shown that an hybrid protocol comprising stop-and-wait hop-by-hop ...
137
click to vote
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
Dynamic instrumentation systems have proven to be extremely valuable for program introspection, architectural simulation, and bug detection. Yet a major drawback of modern instrum...