1326 search results - page 237 / 266 » Semantic Coherence in Software Engineering |
151
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
141
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
112
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
231
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
NSPW
2006
ACM
15 years 7 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...