14298 search results - page 2575 / 2860 » Dynamic Languages and Applications |
182
click to vote
ATAL
2005
Springer
16 years 5 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...
172
click to vote
CC
2005
Springer
16 years 5 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...
152
click to vote
CP
2005
Springer
16 years 5 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...
194
click to vote
CP
2005
Springer
16 years 5 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...
170
click to vote
EMSOFT
2005
Springer
16 years 5 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...