909 search results - page 32 / 182 » Generic Programming: An Introduction |
JFP
2007
14 years 10 months ago
2007
JFP
2010
14 years 5 months ago
2010
SCP
2011
14 years 1 months ago
2011
112
click to vote
COMPSAC
2003
IEEE
15 years 3 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...
111
click to vote
ATVA
2006
Springer
15 years 2 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...