161 search results - page 24 / 33 » Performance Model Interchange Format: Semantic Validation |
LCTRTS
2004
Springer
14 years 1 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Low-dimensional topic models have been proven very useful for modeling a large corpus of documents that share a relatively small number of topics. Dimensionality reduction tools s...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
SIGECOM
2010
ACM
14 years 16 days ago
2010
ACM
Product recommendation and decision support systems must generally develop a model of user preferences by querying or otherwise interacting with a user. Recent approaches to elici...
PLDI
2010
ACM
14 years 23 days ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...