6833 search results - page 325 / 1367 » Some two-character sets |
160
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
170
click to vote
ECMDAFA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...
160
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
162
click to vote
ICTCS
2005
Springer
16 years 9 days ago
2005
Springer
Given a vertex-weighted graph G = (V, E; w), w(v) ≥ 0 for any v ∈ V , we consider a weighted version of the coloring problem which consists in finding a partition S = (S1, . ...
152
Voted
RTA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...