208 search results - page 29 / 42 » A rationale-based architecture model for design traceability... |
123
Voted
CONSTRAINTS
2002
15 years 9 days ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
115
Voted
JAR
2006
15 years 13 days ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
100
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Autonomy is regarded as a crucial notion in multi-agent systems and several researchers have tried to identify what are the agent's parts that give it an autonomous character....
116
Voted
FPGA
2008
ACM
15 years 2 months ago
2008
ACM
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
114
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...