125
click to vote
SIGSOFT
16 years 23 days 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...
108
click to vote
EUROSYS
15 years 9 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...
108
click to vote
SOCO
15 years 6 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