13137 search results - page 2469 / 2628 » A Science of Software Design |
154
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
150
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difļ...
125
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present FormSys, a Web-based system that service-enables form documents. It oļ¬ers two main services: ļ¬lling in forms based on Web servicesā incoming SOAP me...
151
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Per-core local (scratchpad) memories allow direct inter-core communication, with latency and energy advantages over coherent cache-based communication, especially as CMP architect...
139
click to vote
EDOC
2002
IEEE
15 years 10 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...