247 search results - page 17 / 50 » A Qualitative Physics Compiler |
IWMM
1998
Springer
15 years 1 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
ICS
1999
Tsinghua U.
15 years 1 months ago
1999
Tsinghua U.
As the gap between memory and processor speeds continues to widen, cache efficiency is an increasingly important component of processor performance. Compiler techniques have been...
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
NFC and RFID technologies have found their way into current mobile phones and research has presented a variety of applications using NFC/RFID tags for interaction between physical...
80
Voted
PUC
2010
14 years 4 months ago
2010
Players invest significant physical effort when playing exertion games. In addition to improving physical health, exertion games are also believed to facilitate social play amongs...
IJCAI
1989
14 years 10 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...