15416 search results - page 246 / 3084 » Embeddings of Computable Structures |
137
click to vote
IJES
2007
15 years 5 months ago
2007
Abstract: Tomorrow’s embedded devices need to run high-resolution multimedia applications which need an enormous computational complexity with a very low energy consumption const...
159
click to vote
NCA
2002
IEEE
15 years 5 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
163
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
181
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
154
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Serious concerns on privacy protection in social networks have been raised in recent years; however, research in this area is still in its infancy. The problem is challenging due ...