2251 search results - page 215 / 451 » Specification and Implementation Problems for C |
142
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
141
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
The paper considers the complex behavior of a small company in a business ecosystem, time by time leader or supplier or both in one or more supply chains, and points out the data e...
224
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Releasing person-specific data in its most specific state poses a threat to individual privacy. This paper presents a practical and efficient algorithm for determining a generaliz...
227
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
142
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a system deployed on parallel clusters to manage a collection of parallel simulations that make up a computational study. It explores how such a system can ext...