14 research outputs found
Propagation of a transmissible cytotoxic activity on cultures of human peripheral blood lymphocytes.
Toscana virus infections in northern Italy: laboratory and clinical evaluation.
Toscana virus (TOSv) is a neurotropic arthropod-borne virus that causes meningitis in the Mediterranean basin during summer. We studied 120 patients with acute aseptic meningitis that developed between July 1 and October 31, 2010 in northern Italy, 18 of whom (15%) were in the acute stage of TOSv disease
Functional characteristics of vaginal fibroblastic cells from premenopausal women with pelvic organ prolapse
Resource Usage Analysis and Its Application to Resource Certification
Abstract. Resource usage is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis sys-tem. COSTA obtains safe symbolic upper bounds on the resource usage of a large class of general-purpose programs written in a mainstream pro-gramming language such as Java (bytecode). We also discuss the appli-cation of resource-usage information for code certification, whereby code not guaranteed to run within certain user-specified bounds is rejected.