13977 search results - page 2717 / 2796 » Evolution in complex systems |
121
click to vote
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
Continued device scaling enables microprocessors and other systems-on-chip (SoCs) to increase their performance, functionality, and hence, complexity. Simultaneously, relentless s...
113
Voted
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
The assumption of routing symmetry is often embedded into traffic analysis and classification tools. This paper uses passively captured network data to estimate the amount of tra...
137
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
115
Voted
TRUST
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
122
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...