2022 search results - page 338 / 405 » Complexity of Non-Monotonic Logics |
100
Voted
PEPM
2004
ACM
15 years 4 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
94
Voted
SAMOS
2004
Springer
15 years 4 months ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
SEKE
2004
Springer
15 years 4 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
72
Voted
APSEC
2003
IEEE
15 years 4 months ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
87
Voted
DSD
2003
IEEE
15 years 4 months ago
2003
IEEE
With shrinking feature size of silicon fabrication technology, architects are putting more and more logic into a single die. While one might opt to use these transistors for build...