148
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...
130
click to vote
EUROSYS
15 years 11 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...
145
Voted
ICSE
16 years 2 months ago
2007 IEEE-ACM  136
click to vote
SOCO
15 years 8 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