2141 search results - page 146 / 429 » Embedded Software |
103
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
110
Voted
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
143
Voted
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
234
Voted
DAC
2011
ACM
14 years 2 months ago
2011
ACM
The deployment of computer vision algorithms in mobile applications is growing at a rapid pace. A primary component of the computer vision software pipeline is feature extraction,...
182
Voted
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...