Detecting Concurrency Anomalies in Transactional Memory Programs
João Lourenço, Diogo Sousa, Bruno Teixeira, Ricardo Dias (2011)
Computer Science and Information Systems
Similarity:
Displaying similar documents to “VisualLISA: A Visual Environment to Develop Attribute Grammars”
Detecting Concurrency Anomalies in Transactional Memory Programs
Distributed Parameter Tuning for Genetic Algorithms
David F. Barrero, Antonio González-Pardo, David Camacho, María D. R-Moreno (2010)
Computer Science and Information Systems
Similarity:
On Automata and Language Based Grammar Metrics
Matej Črepinšek, Tomaž Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel (2010)
Computer Science and Information Systems
Similarity:
Integrating Instance-level and Attribute-level Knowledge into Document Clustering
Jinlong Wang, Shunyao Wu, Gang Li, Zhe Wei (2011)
Computer Science and Information Systems
Similarity:
Access Control Framework for XML Document Collections
Goran Sladić, Branko Milosavljević, Zora Konjović, Milan Vidaković (2011)
Computer Science and Information Systems
Similarity:
A Genetic Algorithm for the Routing and Carrier Selection Problem
Jozef Kratica, Tijana Kostić, Dušan Tošić, Djordje Dugošija, Vladimir Filipović (2012)
Computer Science and Information Systems
Similarity:
TEAMLOG in Action: a Case Study in Teamwork
Barbara Dunin-Kęplicz, Rineke Verbrugge, Micha l Ślizak (2010)
Computer Science and Information Systems
Similarity:
Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
Jianmin Zhang, Shengyu Shen, Jun Zhang, Weixia Xu, Sikun Li (2011)
Computer Science and Information Systems
Similarity:
An Approach to Automated Conceptual Database Design Based on the UML Activity Diagram
Drazen Brdjanin, Slavko Maric (2012)
Computer Science and Information Systems
Similarity:
UML Profile for Specifying User Interfaces of Business Applications
Branko Perišić, Gordana Milosavljević, Igor Dejanović, Branko Milosavljević (2011)
Computer Science and Information Systems
Similarity:
Mathematical modeling of semiconductor quantum dots based on the nonparabolic effective-mass approximation
Jinn-Liang Liu (2012)
Nanoscale Systems: Mathematical Modeling, Theory and Applications
Similarity:
Within the effective mass and nonparabolic band theory, a general framework of mathematical models and numerical methods is developed for theoretical studies of semiconductor quantum dots. It includes single-electron models and many-electron models of Hartree-Fock, configuration interaction, and current-spin density functional theory approaches. These models result in nonlinear eigenvalue problems from a suitable discretization. Cubic and quintic Jacobi-Davidson methods of block or nonblock...