15401 search results - page 2998 / 3081 » Software in Automotive Systems |
CC
2003
Springer
14 years 2 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
GIL
2007
13 years 11 months ago
2007
: Es wird die Möglichkeit vorgestellt, anhand einer OpenSource-Software Massnahmen der teilflächenspezifischen Landbewirtschaftung (Precision Farming) zu planen, auszuwerten und ...
LISA
2004
13 years 11 months ago
2004
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...
CG
2005
Springer
13 years 9 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...