3008 search results - page 25 / 602 » Mechanisms for Importing Modules |
167
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
101
click to vote
ICAS
2009
IEEE
15 years 4 months ago
2009
IEEE
IP Multimedia Subsystem (IMS) entails novel business opportunities for pioneering and emerging multimedia services, such as IPTV and VoIP video call applications. However, this st...
106
click to vote
APN
2007
Springer
15 years 3 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
IJON
2000
14 years 9 months ago
2000
Mormyrid electric sh use mormyromastreceptors in their skin to detect distortions in a self-generated electric eld. The electroreceptor a erents modulate neuronal activity in the ...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Exploiting speculative thread-level parallelism across modules, e.g., methods, procedures, or functions, have shown promise. However, misspeculations and task creation overhead ar...