780 search results - page 84 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
142
click to vote
JMLR
2010
14 years 10 months ago
2010
Principal component analysis (PCA) is a classical data analysis technique that finds linear transformations of data that retain the maximal amount of variance. We study a case whe...
145
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
129
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
128
Voted
AI
2010
Springer
15 years 3 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
179
Voted
LCPC
1992
Springer
15 years 7 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...