2875 search results - page 333 / 575 » Using separation of concerns for embedded systems design |
143
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes an innovative use of a mix of networking standards and software implementation technologies for the design of industrial Human Machine Interface (HMI) systems....
163
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Using decentralized control structures for robot control can offer a lot of advantages, such as less complexity, better fault tolerance and more flexibility. In this paper the ev...
162
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
111
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Today’s system-on-a-chip designs consist of many cores. To enable cores to be easily integrated into different systems, many propose creating cores with their internal logic sep...
173
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...