6897 search results - page 60 / 1380 » Parallelization of Modular Algorithms |
SAC
2006
ACM
13 years 8 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
ICRA
1994
IEEE
14 years 25 days ago
1994
IEEE
Fixturing encompasses the design and assembly of fixtures to locate and hold a workpiece during a manufacturing operation such as machining or assembly. We have implemented an auto...
FMCAD
2000
Springer
14 years 9 days 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...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Modularity was introduced as a measure of goodness for the community structure induced by a partition of the set of vertices in a graph. Then, it also became an objective...