438 search results - page 65 / 88 » Pervasive Theory of Memory |
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
How and why does software evolve? This question has been under study since almost 40 years ago, and it is still a subject of controversy. In the seventies, Meir M. Lehman formulat...
ISSAC
2009
Springer
14 years 3 months ago
2009
Springer
Constructive methods for matrices of multihomogeneous resultants for unmixed systems have been studied in [7, 14, 16]. We generalize these constructions to mixed systems, whose Ne...
COMPGEOM
2009
ACM
14 years 3 months ago
2009
ACM
We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a top...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Multiview video coding (MVC) is currently under development by the Joint Video Team (JVT) as an extension to Advanced Video Coding (H264/AVC). Based on the suppression theory in b...