154
click to vote
SIGSOFT
16 years 3 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...
136
click to vote
EUROSYS
16 years 6 days 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...
142
click to vote
SOCO
15 years 9 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