7080 search results - page 726 / 1416 » Designing High Integrity Systems Using Aspects |
217
click to vote
DASIP
2010
15 years 2 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
174
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Multiagent systems (MAS) are spreading, in the academic world as well as in industry. Nevertheless, MAS design is still a problem. The agent community now has some experience. So, ...
216
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
253
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
203
click to vote
LCN
2003
IEEE
16 years 14 days ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...