1650 search results - page 168 / 330 » The HOM problem is decidable |
123
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
126
click to vote
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
Many scientific applications use scattered data originated from samples. Interpolation techniques are necessary to estimate the values on non-sampled regions. In a previous work, t...
159
Voted
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
107
click to vote
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
1 Redundancy removal is an important step in combinational logic optimization. After a redundant wire is removed, other originally redundant wires may become irredundant, and some ...
133
click to vote
ICS
1998
Tsinghua U.
15 years 8 months ago
1998
Tsinghua U.
The goal of High Performance Fortran (HPF) is to "address the problems of writing data parallel programs where the distribution of data affects performance", providing t...