Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SIAMAM
2008
93views more  SIAMAM 2008»
11 years 1 months ago
Mutually Exclusive Spiky Pattern and Segmentation Modeled by the Five-Component Meinhardt--Gierer System
We consider the five-component Meinhardt-Gierer model for mutually exclusive patterns and segmentation which was proposed in [11]. We prove rigorous results on the existence and st...
Juncheng Wei, Matthias Winter
WSC
2004
11 years 3 months ago
Resolving Mutually Exclusive Interactions in Agent Based Distributed Simulations
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
Lihua Wang, Stephen John Turner, Fang Wang
ICCAD
1994
IEEE
99views Hardware» more  ICCAD 1994»
11 years 5 months ago
Condition graphs for high-quality behavioral synthesis
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gaj...
ECBS
2000
IEEE
70views Hardware» more  ECBS 2000»
11 years 6 months ago
Model Checking the Java Meta-Locking Algorithm
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
Samik Basu, Scott A. Smolka, Orson R. Ward
LOPSTR
2004
Springer
11 years 7 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
books