1682 search results - page 64 / 337 » Techniques for Automating Distributed Real-Time Applications... |
INFOCOM
1999
IEEE
15 years 2 months ago
1999
IEEE
The distributed embedded systems industry is poised to leverage emerging real-time operating systems, such as Inferno, Windows CE 2.0, and Palm OS, to support mobile communication...
IJCAI
2003
14 years 11 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
BMCBI
2008
14 years 10 months ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
106
click to vote
CLUSTER
2003
IEEE
15 years 3 months ago
2003
IEEE
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...
DOA
2001
14 years 11 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...