Sciweavers

2046 search results - page 277 / 410
» High Performance Data Broadcasting Systems
Sort
View
CLUSTER
2003
IEEE
15 years 9 months ago
A Case Study of Parallel I/O for Biological Sequence Search on Linux Clusters
In this paper we analyze the I/O access patterns of a widely-used biological sequence search tool and implement two variations that employ parallel-I/O for data access based on PV...
Yifeng Zhu, Hong Jiang, Xiao Qin, David R. Swanson
INFOCOM
2009
IEEE
15 years 10 months ago
An Experimental Evaluation of Rate Adaptation for Multi-Antenna Systems
—Increasingly wireless networks use multi-antenna nodes as in IEEE 802.11n and 802.16. The Physical layer (PHY) in such systems may use the antennas to provide multiple streams o...
Wonsoo Kim, O. Khan, Kien T. Truong, Soon-Hyeok Ch...
ECAI
2004
Springer
15 years 9 months ago
Lazy Adaptive Multicriteria Planning
This paper presents the design and development of an adaptive planning system using the technology of Web services. The Web-based adaptive planning system consists of two modules t...
Grigorios Tsoumakas, Dimitris Vrakas, Nick Bassili...
SIGSOFT
1996
ACM
15 years 8 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...
147
Voted
KAIS
2006
121views more  KAIS 2006»
15 years 4 months ago
TEG-a hybrid approach to information extraction
Abstract This paper describes a hybrid statistical and knowledge-based inforQ1 mation extraction model, able to extract entities and relations at the sentence level. The model atte...
Ronen Feldman, Binyamin Rosenfeld, Moshe Fresko