982 search results - page 11 / 197 » Quantitative Analysis of Grouping Processes |
ENTCS
2006
13 years 9 months ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
— Networked embedded systems are gaining more and more attention and their use in current network scenarios is of indisputable importance. Research community and industry are pro...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
FPL
2007
Springer
14 years 4 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
BMCBI
2006
13 years 9 months ago
2006
Background: Even though real-time PCR has been broadly applied in biomedical sciences, data processing procedures for the analysis of quantitative real-time PCR are still lacking;...