198
click to vote
SIGSOFT
16 years 6 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...
180
click to vote
EUROSYS
16 years 2 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...
197
Voted
ICSE
16 years 5 months ago
2007 IEEE-ACM  177
click to vote
SOCO
15 years 12 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