1446 search results - page 272 / 290 » Hardware Software Co-Design Using Functional Languages |
126
click to vote
RV
2010
Springer
15 years 9 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
136
Voted
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
138
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
150
click to vote
EKAW
1992
Springer
15 years 6 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
114
Voted
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
The goal of this paper is to propose a scheme that provides comprehensive security protection for the heap. Heap vulnerabilities are increasingly being exploited for attacks on co...