Sciweavers

686 search results - page 91 / 138
» Statistical Timing Analysis with Extended Pseudo-Canonical T...
Sort
View
BMCBI
2007
139views more  BMCBI 2007»
14 years 9 months ago
XSTREAM: A practical algorithm for identification and architecture modeling of tandem repeats in protein sequences
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...
Aaron M. Newman, James B. Cooper
WINET
2010
180views more  WINET 2010»
14 years 8 months ago
An analytical model for performance evaluation of multimedia applications over EDCA in an IEEE 802.11e WLAN
—We extend the modeling heuristic of [1] to evaluate the performance of an IEEE 802.11e infrastructure network carrying packet telephone calls, streaming video sessions and TCP c...
Sri Harsha, Anurag Kumar, Vinod Sharma
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 1 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
98
Voted
CORR
2010
Springer
119views Education» more  CORR 2010»
14 years 7 months ago
On Probabilistic Parallel Programs with Process Creation and Synchronisation
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
Stefan Kiefer, Dominik Wojtczak
GIS
2009
ACM
15 years 2 months ago
A multidimensional model representing continuous fields in spatial data warehouses
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
Alejandro A. Vaisman, Esteban Zimányi