2748 search results - page 323 / 550 » Generating Object-Z Specifications from Use Cases |
136
click to vote
WSCG
2003
15 years 5 months ago
2003
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
146
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
154
click to vote
IJCAI
1989
15 years 5 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
181
Voted
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
161
click to vote
COMBINATORICS
2002
15 years 4 months ago
2002
: We generalize the notion of pattern avoidance to arbitrary functions on ordered sets, and consider specifically three scenarios for permutations: linear, cyclic and hybrid, the f...