1995 search results - page 198 / 399 » The Chemical Abstract Machine |
136
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
167
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
146
Voted
PPOPP
1990
ACM
15 years 9 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
162
Voted
AIIDE
2008
15 years 7 months ago
2008
Artificial intelligence in games is typically used for creating player's opponents. Manual edition of intelligent behaviors for Non-Player Characters (NPCs) of games is a cum...
133
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...