2588 search results - page 480 / 518 » Engineering Systems Which Generate Emergent Functionalities |
ENTCS
2007
14 years 11 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
112
click to vote
PAMI
2006
14 years 11 months ago
2006
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
ECUMN
2007
Springer
15 years 6 months ago
2007
Springer
— Currently used IP routing protocols calculate and only use a single path between two nodes of a network, or in the best case, only paths with the same cost (with OSPF2 or IS-IS...
132
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...