Sciweavers

1283 search results - page 125 / 257
» Object Initialization in X10
Sort
View
POPL
2010
ACM
16 years 2 months ago
Integrating Typed and Untyped Code in a Scripting Language
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
Francesco Zappa Nardelli, Jan Vitek, Johan Ös...
CEC
2007
IEEE
15 years 11 months ago
Towards a quantitative notion of self-organisation
— Organic Computing (OC) and other research initiatives like Autonomic Computing or Proactive Computing have developed the idea of systems that possess life-like properties, that...
Emre Cakar, Moez Mnif, Christian Müller-Schlo...
INFOCOM
2007
IEEE
15 years 11 months ago
Balancing Interruption Frequency and Buffering Penalties in VBR Video Streaming
—The main goal of a streaming application is to enable the successful decoding of each video object before its displaying deadline is violated, and to recover from a deadline vio...
Guanfeng Liang, Ben Liang
CALCO
2007
Springer
86views Mathematics» more  CALCO 2007»
15 years 11 months ago
Bootstrapping Types and Cotypes in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
Lutz Schröder
IPSN
2007
Springer
15 years 10 months ago
Distributed consensus and linear functional calculation in networks: an observability perspective
We study the problem of performing sensor fusion and distributed consensus in networks, where the objective is to calculate some linear function of the initial sensor values at so...
Shreyas Sundaram, Christoforos N. Hadjicostis