Sciweavers

6829 search results - page 11 / 1366
» Quantitative Generalizations of Languages
Sort
View
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
15 years 6 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
86
Voted
ENTCS
2006
154views more  ENTCS 2006»
15 years 20 days ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
116
Voted
BMCBI
2004
121views more  BMCBI 2004»
15 years 16 days ago
Asynchronous adaptive time step in quantitative cellular automata modeling
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
Hao Zhu, Peter Y. H. Pang, Yan Sun, Pawan Dhar
102
Voted
CMPB
2010
119views more  CMPB 2010»
14 years 10 months ago
Estimation of coefficients of individual agreement (CIAs) for quantitative and binary data using SAS and R
: The coefficients of individual agreement (CIA's), which are based on the ratio of the intra- and inter-observer disagreement, provide a general approach for evaluating agree...
Yi Pan, Jingjing Gao, Michael Haber, Huiman X. Bar...
116
Voted
ASPLOS
1996
ACM
15 years 4 months ago
A Quantitative Analysis of Loop Nest Locality
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to suggest future directions for architecture and software cache optimizations. Si...
Kathryn S. McKinley, Olivier Temam