1715 search results - page 6 / 343 » Domain-Specific Program Checking |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
EUROPLOP
2006
13 years 9 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
ACSW
2006
13 years 9 months ago
2006
1 The arrival of any piece of unsolicited and unwanted email (spam) into a user's email inbox is a problem. It results in real costs to organisations and possibly an increasin...