2810 search results - page 174 / 562 » Contract-Based Component System Design |
NIPS
1996
15 years 4 months ago
1996
We describe the implementation of a hidden Markov model state decoding system, a component for a wordspotting speech recognition system. The key specification for this state decod...
120
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
In mobile computing environments, handheld devices with low functionality restrict the services provided for mobile users. We propose a new concept of collaborative browsing, wher...
128
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
113
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
117
Voted
SERP
2008
15 years 4 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...