2108 search results - page 392 / 422 » An Operational Semantics for Stateflow |
151
click to vote
EUROSYS
2009
ACM
16 years 23 days ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...
161
click to vote
ICDM
2009
IEEE
16 years 19 days ago
2009
IEEE
—With the vast increase in collection and storage of data, the problem of data summarization is most critical for effective data management. Since much of this data is categorica...
159
click to vote
TPHOL
2009
IEEE
16 years 18 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
170
click to vote
WASA
2009
Springer
16 years 17 days ago
2009
Springer
Social network popularity continues to rise as they broaden out to more users. Hidden away within these social networks is a valuable set of data that outlines everyone’s relatio...
198
click to vote
TABLEAUX
2009
Springer
16 years 15 days ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...