3844 search results - page 628 / 769 » Modular interpreted systems |
186
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
139
click to vote
COGSR
2010
15 years 1 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
167
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
Two public display systems, with different methods of posting, were deployed over several years. One, the Thank You Board, was designed to give people an outlet specifically for p...
170
click to vote
TWC
2010
15 years 1 months ago
2010
It is known that Wideband Code-Division Multiple Access (W-CDMA) networks are limited by interference more than by any other single effect. Due to the frequency selectivity of the ...
182
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Wireless systems comprised of rechargeable nodes have a significantly prolonged lifetime and are sustainable. A distinct characteristic of these systems is the fact that the no...