433 search results - page 33 / 87 » Contracts: From Analysis to C Implementation |
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
For large software systems, interface structure has an important impact on their maintainability and build performance. For example, for complex systems written in C, recompilatio...
IPMI
2009
Springer
15 years 10 months ago
2009
Springer
The paper presents a novel statistical framework for cortical folding pattern analysis that relies on a rich multivariate descriptor of folding patterns in a region of interest (RO...
CASES
2009
ACM
15 years 2 months ago
2009
ACM
AVR XMEGA is the recent general-purpose 8-bit microcontroller from Atmel featuring symmetric crypto engines. We analyze the resistance of XMEGA crypto engines to side channel atta...
ICPP
2007
IEEE
15 years 4 months ago
2007
IEEE
The complexity of parallel I/O systems lies in the deep I/O stack with many software layers and concurrent I/O request handling at multiple layers. This paper explores multi-layer...
DRM
2004
Springer
15 years 3 months ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...