4126 search results - page 611 / 826 » Set based logic programming |
137
click to vote
SIGPLAN
2002
15 years 2 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
126
click to vote
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
118
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
134
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
124
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
In-depth analysis of network security vulnerability must consider attacker exploits not just in isolation, but also in combination. The general approach to this problem is to comp...