1090 search results - page 167 / 218 » Type-Directed Partial Evaluation |
AIME
2005
Springer
13 years 9 months ago
2005
Springer
In recent years, a few researchers have challenged past dogma and suggested methods (such as the IC algorithm) for inferring causal relationship among variables using steady state ...
ASAP
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper presents an optimized design approach of two’s complement large-size squarers using embedded multipliers in FPGAs. The realization is based on BaughWooley’s algorit...
CSE
2008
IEEE
13 years 9 months ago
2008
IEEE
A well-known challenge during processor design is to obtain best possible results for a typical target application domain by combining flexibility and computational performance. A...
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Successful multi-target tracking requires locating the targets and labeling their identities. This mission becomes significantly more challenging when many targets freque...
EDCC
2008
Springer
13 years 9 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...