7103 search results - page 354 / 1421 » Program Generation and Components |
139
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
125
click to vote
IIWAS
2008
15 years 5 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
112
click to vote
UAI
2008
15 years 5 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
130
click to vote
EUMAS
2006
15 years 5 months ago
2006
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of determining the best set of agents that...
138
click to vote
AAAI
1994
15 years 5 months ago
1994
Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior of physical systems and in modern engineering design. However, in ord...