14298 search results - page 2575 / 2860 » Dynamic Languages and Applications |
210
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
200
click to vote
CC
2005
Springer
16 years 25 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
169
click to vote
CP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract Competition and cooperation can boost the performance of a combinatorial search process. Both can be implemented with a portfolio of algorithms which run in parallel, give...
210
click to vote
CP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
200
click to vote
EMSOFT
2005
Springer
16 years 25 days ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...