6258 search results - page 315 / 1252 » Applied Text Generation |
122
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Control of variability and performance in the back end of the VLSI manufacturing line has become extremely difficult with the introduction of new materials such as copper and low...
126
Voted
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
119
click to vote
ICAIL
1999
ACM
15 years 9 months ago
1999
ACM
More and more legal information is available in electronic form, but traditional retrieval mechanisms are insufficient to answer questions and legal problems of most users. In the...
180
Voted
MICRO
1997
IEEE
15 years 9 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
125
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...