101 search results - page 14 / 21 » Automatic Architecture Hardening Using Safety Patterns |
SPIN
2001
Springer
15 years 3 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
100
Voted
POPL
1998
ACM
15 years 3 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
90
Voted
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
104
click to vote
HIPEAC
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
125
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...