8766 search results - page 1530 / 1754 » Functional logic programming |
137
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
125
Voted
SOSP
2007
ACM
16 years 5 days ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
124
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
167
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
146
click to vote
ISPASS
2008
IEEE
15 years 9 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...