Sciweavers

2096 search results - page 343 / 420
» Modeling stream processing applications for dependability ev...
Sort
View
DSN
2009
IEEE
15 years 3 months ago
Efficient resource management on template-based web servers
The most commonly used request processing model in multithreaded web servers is thread-per-request, in which an individual thread is bound to serve each web request. However, with...
Eli Courtwright, Chuan Yue, Haining Wang
ECCV
2008
Springer
16 years 1 months ago
Improving People Search Using Query Expansions
In this paper we are interested in finding images of people on the web, and more specifically within large databases of captioned news images. It has recently been shown that visua...
Thomas Mensink, Jakob J. Verbeek
APLAS
2010
ACM
15 years 2 days ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
ISCA
1995
IEEE
93views Hardware» more  ISCA 1995»
15 years 3 months ago
Optimizing Memory System Performance for Communication in Parallel Computers
Communicationin aparallel systemfrequently involvesmoving data from the memory of one node to the memory of another; this is the standard communication model employedin message pa...
Thomas Stricker, Thomas R. Gross
DASFAA
2009
IEEE
195views Database» more  DASFAA 2009»
15 years 6 months ago
The XMLBench Project: Comparison of Fast, Multi-platform XML libraries
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
Suren Chilingaryan