Sciweavers

4320 search results - page 254 / 864
» Functional Objects
Sort
View
WSCG
2001
108views more  WSCG 2001»
15 years 8 months ago
Using CORBA Middleware to Support the Development of Distributed Virtual Environment Applications
In this paper we report on using Common Object Request Broker Architecture (CORBA) middleware as a means of supporting the rapid development of Distributed Virtual Environment (DV...
S. Wilson, S. Sayers, M. D. J. McNeill
CVPR
2004
IEEE
16 years 8 months ago
A Probabilistic Framework for Combining Tracking Algorithms
For the past few years researches have been investigating enhancing tracking performance by combining several different tracking algorithms. We propose an analytically justified, ...
Ido Leichter, Michael Lindenbaum, Ehud Rivlin
OOPSLA
1997
Springer
15 years 10 months ago
Class Hierarchy Specialization
Class libraries are generally designed with an emphasis on versatility and extensibility. Applications that use a library typically exercise only part of the library’s functiona...
Frank Tip, Peter F. Sweeney
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 5 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
ICFP
2005
ACM
16 years 6 months ago
AtomCaml: first-class atomicity via rollback
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
Michael F. Ringenburg, Dan Grossman