1948 search results - page 264 / 390 » Formalizing Mirror Theory |
158
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
155
Voted
RTAS
2010
IEEE
15 years 3 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
163
Voted
FOMI
2009
15 years 3 months ago
2009
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
146
click to vote
CDC
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...
190
click to vote
MST
2011
15 years 16 days ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...