4196 search results - page 232 / 840 » Supporting the development of network programs |
114
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
127
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
127
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
110
click to vote
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
128
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
AbstractMost of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...