8655 search results - page 480 / 1731 » Challenges for Trusted Computing |
135
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
129
Voted
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
With the advent of deep sub-micron (DSM) era, floorplanning has become increasingly important in physical design process. In this paper we clarify a misunderstanding in using Lag...
123
Voted
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Relations between users on social media sites often reflect a mixture of positive (friendly) and negative (antagonistic) interactions. In contrast to the bulk of research on soci...
133
Voted
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Multicore SOCs rely on runtime thermal measurements using on-chip sensors for DTM. In this paper we address the problem of estimating the actual temperature of on-chip thermal sen...
170
Voted
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...