2255 search results - page 260 / 451 » High Assurance Software Systems |
175
click to vote
SOSP
1989
ACM
15 years 7 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
177
click to vote
INFFUS
2002
15 years 6 months ago
2002
The security of computer networks plays a strategic role in modern computer systems. In order to enforce high protection levels against threats, a number of software tools have be...
189
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...
177
click to vote
IESA
2007
15 years 8 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
172
click to vote
JVCIR
2008
15 years 6 months ago
2008
This paper presents a novel hardware implementation of a disparity estimation scheme targeted to real-time Integral Photography (IP) image and video sequence compression. The soft...