7103 search results - page 286 / 1421 » Program Generation and Components |
127
Voted
NN
1998
Springer
15 years 3 months ago
1998
Springer
A learning model for coupled oscillators is proposed. The proposed learning rule takes a simple form by which the intrinsic frequencies of the component oscillators and the coupli...
151
click to vote
JSW
2007
15 years 3 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
136
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
116
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
149
click to vote
PEPM
2004
ACM
15 years 8 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....