2661 search results - page 299 / 533 » Model Checking Performability Properties |
ENTCS
2006
15 years 22 days ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
117
click to vote
COGSR
2011
14 years 7 months ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
118
Voted
ISVC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper, we present a novel graph, sub-graph and supergraph based face representation which captures the facial shape changes and deformations caused due to pose ch...
101
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
115
click to vote
SIGMETRICS
2002
ACM
15 years 11 days ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...