1700 search results - page 148 / 340 » Specifying and implementing refactorings |
148
Voted
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
132
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
155
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
123
Voted
DDECS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
135
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...