3507 search results - page 317 / 702 » Specialized execution environments |
227
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
180
click to vote
WORDS
2005
IEEE
16 years 16 days ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
142
click to vote
ICRA
2002
IEEE
15 years 12 months ago
2002
IEEE
We have been developing new abilities of humanoid robot to realize proxy drives of a lift truck. Construction machines such as a lift truck play an important role in many tasks, b...
203
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
185
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
While support for IP multicasting continues to spread enabling new applications, an increasing number of hosts connects to the worldwide Internet via low bandwidth Point-toPoint l...