2875 search results - page 408 / 575 » Using separation of concerns for embedded systems design |
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we develop a theory of metamodules and an associated distributed asynchronous planner which generalizes previous work on metamodules for lattice-based modular rob...
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...
FPL
2008
Springer
14 years 11 months ago
2008
Springer
An example of an FPGA based application for a high-energy physics experiment is presented which features all facets of modern FPGA design. The special requirements here are high b...
HPCA
2003
IEEE
15 years 10 months ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...