Sciweavers

7943 search results - page 31 / 1589
» A calculus for costed computations
Sort
View
TLCA
2007
Springer
14 years 1 months ago
The Safe Lambda Calculus
William Blum, C.-H. Luke Ong
BIRTHDAY
2005
Springer
14 years 28 days ago
Sharing in the Weak Lambda-Calculus
Tomasz Blanc, Jean-Jacques Lévy, Luc Marang...
CMSB
2008
Springer
13 years 9 months ago
The Attributed Pi Calculus
Mathias John, Cédric Lhoussaine, Joachim Ni...
ICDCSW
2005
IEEE
14 years 1 months ago
QoS Oriented Dynamic Replica Cost Model for P2P Computing
Replication on multiple nodes is an effective way to improve the availability in the P2P or grid environment. It is difficult to determine how many replicas can fulfill the user r...
Feng Mao, Hai Jin, Deqing Zou, Baoli Chen, Li Qi
ADHOC
2008
122views more  ADHOC 2008»
13 years 7 months ago
Balancing computation and communication costs: The case for hybrid execution in sensor networks
Virtual machines (VM) are promising as system software in sensor networks. A major impediment to their widespread acceptance is their performance overhead. Compiling VM bytecode to...
Joel Koshy, Ingwar Wirjawan, Raju Pandey, Yann Ram...