3134 search results - page 167 / 627 » simulation 2010 |
119
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents and validates methods to extend reuse distance analysis of application locality characteristics to shared-memory multicore platforms by accounting for invalidat...
140
Voted
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
136
click to vote
TVLSI
2010
14 years 10 months ago
2010
To efficiently analyze the large-scale interconnect dominant circuits with inductive couplings (mutual inductances), this paper introduces a new state matrix, called VNA, to stamp ...
107
Voted
VMCAI
2010
Springer
16 years 25 days ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...