925 search results - page 130 / 185 » From Software Architecture to Implementation with UML |
139
click to vote
ROBOCUP
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
146
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
146
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
163
click to vote
MATES
2004
Springer
15 years 9 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
144
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...