2108 search results - page 348 / 422 » An Operational Semantics for Stateflow |
114
Voted
PPOPP
2010
ACM
16 years 29 days ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
119
Voted
ICCD
2001
IEEE
16 years 19 days ago
2001
IEEE
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...
134
Voted
DASFAA
2010
IEEE
15 years 10 months ago
2010
IEEE
Scalable execution of continuous queries over massive data streams often requires splitting input streams into parallel sub-streams over which query operators are executed in paral...
149
Voted
IDTRUST
2010
ACM
15 years 10 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
141
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...