Sciweavers

3836 search results - page 492 / 768
» Optimizing the Use of High Performance Software Libraries
Sort
View
CLIMA
2011
14 years 4 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
155
Voted
IWPC
2000
IEEE
15 years 9 months ago
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
Derek Rayside, Steve Reuss, Erik Hedges, Kostas Ko...
196
Voted
TWC
2010
14 years 11 months ago
Adaptive Modulation for MIMO Systems with Channel Prediction Errors
The performance of multiple-input multiple-output (MIMO) systems using spatial multiplexing is analyzed under channel prediction errors. We derive exact closed-form expressions for...
Unai Fernández-Plazaola, Eduardo Martos-Nay...
BMCBI
2005
134views more  BMCBI 2005»
15 years 5 months ago
Windows .NET Network Distributed Basic Local Alignment Search Toolkit (W.ND-BLAST)
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...
Scot E. Dowd, Joaquin Zaragoza, Javier R. Rodrigue...
CIKM
2005
Springer
15 years 10 months ago
Structured queries in XML retrieval
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...