57 search results - page 9 / 12 » Heterogeneous Reasoning in Real Arithmetic |
ASUNAM
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Community detection or cluster detection in networks is a well-studied, albeit hard, problem. Given the scale and complexity of modern day social networks, detecting “...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
—Distributing large data to many nodes, known as a broadcast or a multicast, is an important operation in parallel and distributed computing. Most previous broadcast algorithms e...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
PCM
2005
Springer
14 years 2 months ago
2005
Springer
Transcoding is an important technique for reducing the bit rate or spatial resolution to meet the constrained transmission bandwidths and terminal capabilities. In this paper, we p...