3516 search results - page 243 / 704 » Programming Languages: Application and Interpretation |
256
click to vote
CD
2005
Springer
16 years 5 days ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
171
click to vote
OOGRAPHICS
1994
15 years 10 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
168
click to vote
CTCS
1995
Springer
15 years 10 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
158
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
144
click to vote
IWOMP
2010
Springer
15 years 8 months ago
2010
Springer
With the approaching of the many-core era, it becomes more and more difficult for a single OpenMP application to efficiently utilize all the available processor cores. On the other...