1346 search results - page 235 / 270 » Alternating-time dynamic logic |
112
click to vote
SAS
2010
Springer
15 years 8 days ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
133
click to vote
TPDS
2010
15 years 7 days ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
178
click to vote
WCRE
2010
IEEE
15 years 6 days ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
124
click to vote
APVIS
2010
14 years 12 months ago
2010
In this paper, we propose an approach of clustering data in parallel coordinates through interactive local operations. Different from many other methods in which clustering is glo...
124
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...