2448 search results - page 246 / 490 » The Octahedron Abstract Domain |
153
click to vote
CEC
2005
IEEE
16 years 8 days ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
165
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
193
click to vote
DASFAA
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...
162
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
140
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— Hierarchical design plays an important role in microprocessor and ASIC domains where design complexity limits design productivity and tool capacity. Slack distribution,...