4719 search results - page 326 / 944 » Newtonian program analysis |
195
Voted
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
200
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regularâ€...
188
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
189
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
186
click to vote
MBEES
2010
15 years 8 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...