5639 search results - page 357 / 1128 » Timed Abstract Non-interference |
121
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Straight-line programs (SLPs) offer powerful text compression by representing a text T[1, u] in terms of a restricted context-free grammar of n rules, so that T can be r...
111
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
139
click to vote
CLUSTER
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Using MPI as communication interface, one or several applications may introduce complex communication behaviors over the network cluster. This effect is increased when n...
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We propose chip waveforms for essentially fullresponse signaling in DS-CDMA systems that employ offset quadrature modulation formats. The waveforms are optimal in the se...
128
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In this paper we propose a fully asynchronous, timebased image sensor, which is characterized by high temporal resolution, low data rate (near complete temporal redunda...