1509 search results - page 118 / 302 » Tracking Real-Time Systems Requirements |
ISORC
2011
IEEE
12 years 12 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
VLDB
1994
ACM
14 years 8 days ago
1994
ACM
We have built a multidatabase system to support a financial application that stores historical data used by traders to identify trends in the market. The application has an update...
BMCBI
2008
13 years 8 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...
SDL
2007
13 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...