4196 search results - page 815 / 840 » Supporting the development of network programs |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
NAND flash-based storage is widely used in embedded systems due to its numerous benefits: low cost, high density, small form factor and so on. However, NAND flash-based storage is...
USS
2004
13 years 9 months ago
2004
Viruses and other malicious programs are an everincreasing threat to current computer systems. They can cause serious damage and consume countless hours of system administrators&#...
COOTS
1997
13 years 9 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
PICS
1998
13 years 9 months ago
1998
In the fine art field, the high-resolution inkjet printers made by IRIS Graphics, Inc. have for more than 7 years remained the preferred direct digital output device for printing ...