2412 search results - page 336 / 483 » Which Problems Have Strongly Exponential Complexity |
156
Voted
ITP
2010
15 years 4 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
109
Voted
SERP
2003
15 years 3 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
143
Voted
PARCO
1997
15 years 3 months ago
1997
During the last decade, all commercial database systems have included features for parallel processing into their products. This development has been driven by the fact that datab...
108
Voted
MFCS
2010
Springer
15 years 29 days ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
104
Voted
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...