10159 search results - page 1680 / 2032 » System Design Validation Using Formal Models |
165
click to vote
IJNM
2006
15 years 6 months ago
2006
These days a massive deployment of VoIP is taking place over IP networks. VoIP deployment is a challenging task for network researchers and engineers. This paper presents a detaile...
168
click to vote
ICTAI
1992
IEEE
15 years 11 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
174
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
With the prevalence of server blades and systems-ona-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limite...
198
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
173
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...