1604 search results - page 183 / 321 » Development Separation in Lambda-Calculus |
110
Voted
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
— Nowadays, huge amounts of information from different industrial processes are stored into databases and companies can improve their production efficiency by mining some new kn...
146
Voted
IWPSE
2003
IEEE
15 years 5 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
111
click to vote
MTDT
2003
IEEE
15 years 5 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
112
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
112
Voted
ADAEUROPE
2000
Springer
15 years 4 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...