2335 search results - page 179 / 467 » Functional Differentiation of Computer Programs |
IPPS
1995
IEEE
14 years 2 months ago
1995
IEEE
Current research in parallel programming is focused on closing the gap between globally indexed algorithms and the separate address spaces of processors on distributed memory mult...
CARDIS
2008
Springer
14 years 23 days ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
ICCV
2003
IEEE
15 years 21 days ago
2003
IEEE
In this paper, we overcome a major drawback of the level set framework: the lack of point correspondences. We maintain explicit backward correspondences from the evolving interfac...
ISPAN
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
ACSC
2006
IEEE
14 years 4 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...