11561 search results - page 451 / 2313 » Open Distributed Processing |
217
click to vote
ICDCS
2005
IEEE
16 years 1 months ago
2005
IEEE
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
230
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
224
click to vote
JCIT
2008
15 years 7 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
231
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
193
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper proposes a distributed Canny edge detection algorithm which can be mapped onto multi-core architectures for high throughput applications. In contrast to the conventiona...