3688 search results - page 419 / 738 » Static analysis of aspects |
205
click to vote
DAC
2006
ACM
16 years 23 days ago
2006
ACM
Negative bias temperature instability (NBTI) has become the dominant reliability concern for nanoscale PMOS transistors. In this paper, a predictive model is developed for the deg...
174
click to vote
SOFTVIS
2006
ACM
16 years 23 days ago
2006
ACM
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
168
click to vote
CCS
2004
ACM
16 years 6 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
193
Voted
SCOPES
2004
Springer
16 years 4 days ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
198
click to vote
CODES
2003
IEEE
16 years 3 days ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...