163
Voted
SIGSOFT
16 years 4 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...
144
Voted
EUROSYS
16 years 26 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...
164
Voted
ICSE
16 years 3 months ago
2007 IEEE-ACM  150
Voted
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