Sciweavers

5171 search results - page 950 / 1035
» Deterministic Parallel Processing
Sort
View
EUROPAR
2009
Springer
15 years 7 months ago
CAMEO: Continuous Analytics for Massively Multiplayer Online Games on Cloud Resources
Massively Multiplayer Online Games (MMOGs) have grown to entertain tens of millions of players daily. Currently, the game operators and third-parties using gameplay information rel...
Alexandru Iosup
MODELS
2009
Springer
15 years 7 months ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
DNA
2001
Springer
15 years 7 months ago
The Fidelity of the Tag-Antitag System
In the universal DNA chip method, target RNAs are mapped onto a set of DNA tags. Parallel hybridization of these tags with an indexed, complementary antitag array then provides an ...
John A. Rose, Russell J. Deaton, Masami Hagiya, Ak...
120
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
Popup: automatic paper architectures from 3D models
Paper architectures are 3D paper buildings created by folding and cutting. The creation process of paper architecture is often laborintensive and highly skill-demanding, even with...
Xian-Ying Li, Chao-Hui Shen, Shi-Sheng Huang, Tao ...
115
Voted
HYBRID
2001
Springer
15 years 7 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...