1760 search results - page 280 / 352 » Program Analysis Using Weighted Pushdown Systems |
BIBM
2007
IEEE
14 years 4 months ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
FCCM
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
SOSP
1989
ACM
13 years 11 months ago
1989
ACM
In this paper, we report on the performance of the remote procedure call implementation for the Firefly multiprocessor and analyze the implementation to account precisely for all ...
JDS
2007
13 years 10 months ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...