1188 search results - page 201 / 238 » Testing Semantics: Connecting Processes and Process Logics |
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Post-silicon processor debugging is frequently carried out in a loop consisting of several iterations of the following two key steps: (i) processor execution for some duration, fo...
160
click to vote
FSKD
2006
Springer
15 years 5 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...
142
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
109
click to vote
SIGCOMM
2006
ACM
15 years 8 months ago
2006
ACM
Ptacek and Newsham [14] showed how to evade signature detection at Intrusion Prevention Systems (IPS) using TCP and IP Fragmentation. These attacks are implemented in tools like F...
190
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Airborne LiDAR technology draws increasing interest in
large-scale 3D urban modeling in recent years. 3D Li-
DAR data typically has no texture information. To generate
photo-rea...