1056 search results - page 118 / 212 » Mapping an Application to a Control Architecture: Specificat... |
NIPS
1993
13 years 9 months ago
1993
Learning to recognize or predict sequences using long-term context has many applications. However, practical and theoretical problems are found in training recurrent neural networ...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
The middleware infrastructure to support applications is becoming critically important to the new horizons of mobile and pervasive computing. In this context, the goal of our work...
DAIS
2010
13 years 9 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
DSML
2008
13 years 9 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...