59 search results - page 11 / 12 » A Compositional Semantic Theory for Synchronous Component-ba... |
MM
2006
ACM
15 years 3 months ago
2006
ACM
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...
PADS
2004
ACM
15 years 2 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
CF
2010
ACM
15 years 2 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...