909 search results - page 32 / 182 » Generic Programming: An Introduction |
85
Voted
JFP
2007
15 years 1 days ago
2007
73
Voted
JFP
2010
14 years 7 months ago
2010
SCP
2011
14 years 3 months ago
2011
133
click to vote
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
133
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...