3837 search results - page 421 / 768 » Concurrent Engineering support in Software Engineering |
139
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
121
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
126
click to vote
QSIC
2009
IEEE
15 years 11 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
138
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
137
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...