1446 search results - page 186 / 290 » Hardware Software Co-Design Using Functional Languages |
139
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
145
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
137
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
138
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
157
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...