2539 search results - page 69 / 508 » Debugging Method Names |
JUCS
2002
14 years 9 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper addresses a noise suppression problem, namely the estimation of non-stationary noise sequences. In this problem, we assume that non-stationary noise can be decomposed i...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
The omnidirectional image sensor named HyperOmniVision, is composed of hyperboloidal mirror and conventional video camera. It can observt: 360 degree field of view and can transfo...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
- This paper presents a solution to the problem of designing interconnects for memory devices. More precisely, it solves the automatic routing problem of memory peripheral circuits...