7508 search results - page 1292 / 1502 » A new approach for distributed computing in avionics systems |
ICCD
2005
IEEE
14 years 6 months ago
2005
IEEE
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...
ICCAD
2003
IEEE
14 years 6 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
AVSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Traditional video scene analysis depends on accurate background modeling to identify salient foreground objects. However, in many important surveillance applications, saliency is ...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
The user-centric service creation paradigm set out in Web 2.0 technologies on the Internet allows users to define and share their new content and applications. Open services and in...