169
click to vote
SIGSOFT
16 years 5 months ago
2007 ACM 
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
151
click to vote
EUROSYS
16 years 1 months ago
2007 ACM 
The major chip manufacturers have all introduced chip multiprocessing (CMP) and simultaneous multithreading (SMT) technology into their processing units. As a result, even low-end...
154
click to vote
SOCO
15 years 10 months ago
2007 Springer 
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
|
Software Engineering