1494 search results - page 34 / 299 » Less Extreme Programming |
108
Voted
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
Windows Media Player user interface “skin” creation has proven an extremely effective method to reinforce practical object oriented programming techniques. Skin creation motiv...
SIAMJO
2008
14 years 11 months ago
2008
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...
IDA
2000
Springer
14 years 11 months ago
2000
Springer
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
158
click to vote
DLS
2009
14 years 9 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...