11215 search results - page 322 / 2243 » Skeleton - Easy Simulation System |
173
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
144
Voted
ISQED
2005
IEEE
16 years 6 days ago
2005
IEEE
The purpose of this work is to explore how device operation parameters such as switching speed and power dissipation scale with voltage and temperature. We simulated a CMOS ring o...
158
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
174
click to vote
COSIT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
153
click to vote
ICA3PP
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we propose a new parallelization scheme for Simulated Annealing — Hierarchical Parallel SA (HPSA). This new scheme features coarse-granularity in parallelization, d...