1121 search results - page 172 / 225 » Location-routing: Issues, models and methods |
105
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Cardiac magnetic resonance imaging (MRI) is very challenging due to the perpetual heart movements. This movement is pseudo-periodic and implies several issues for image acquisitio...
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
ROBIO
2006
IEEE
15 years 3 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
106
click to vote
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...