3056 search results - page 463 / 612 » Compiling Embedded Languages |
149
click to vote
IJCAI
2003
15 years 6 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
161
Voted
TSE
2008
15 years 5 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
172
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...
129
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
140
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...