3243 search results - page 560 / 649 » Object Race Detection |
162
click to vote
HICSS
2009
IEEE
16 years 26 days ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
140
click to vote
SAC
2009
ACM
16 years 26 days ago
2009
ACM
In this work, our objective is to heuristically discover a simplified form of functional dependencies between variables called weak dependencies. Once discovered, these relations...
188
click to vote
SI3D
2009
ACM
16 years 26 days ago
2009
ACM
We present a comprehensive system for multiscale navigation of 3-dimensional scenes, and demonstrate our approach on multiscale datasets such as the Earth. Our system incorporates...
141
click to vote
CEC
2009
IEEE
16 years 25 days ago
2009
IEEE
— In this paper, we propose a new algorithm, named JACC-G, for large scale optimization problems. The motivation is to improve our previous work on grouping and adaptive weightin...
133
click to vote
CODES
2009
IEEE
16 years 25 days ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...