1237 search results - page 59 / 248 » Strictness and Totality Analysis |
150
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently, there is an increasing interest in the deployment of femto access points (FAPs), which are short-range low-power home basestations, over a macro cellular network to impr...
162
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
178
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Gene duplication and gene loss during the evolution of eukaryotes have hindered attempts to estimate phylogenies and divergence times of species. Although current meth...
148
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
188
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...