8874 search results - page 1629 / 1775 » A New Implementation of Automath |
137
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
152
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
168
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
141
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
126
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...