1925 search results - page 48 / 385 » Dynamic Typing |
ICANN
2005
Springer
14 years 1 months ago
2005
Springer
We present a system of differential equations which abstractly models neural dynamics and synaptic plasticity of a cortical macrocolumn. The equations assume inhibitory coupling b...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
Current large distributed systems allow users to share and trade resources. In cloud computing, users purchase different types of resources from one or more resource providers usi...
DLS
2005
13 years 9 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
This paper describes a dynamic voltage and frequency scaling (DVFS) technique for MPEG decoding to reduce the energy consumption while maintaining a quality of service (QoS) constr...