Sciweavers

605 search results - page 84 / 121
» Java Multi-Method Framework
Sort
View
SAC
2010
ACM
14 years 2 months ago
Performance and extension of user space file systems
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
Aditya Rajgarhia, Ashish Gehani
ICARCV
2008
IEEE
166views Robotics» more  ICARCV 2008»
14 years 2 months ago
Composite feature modeling and retrieval
—Feature-based intelligent design and manufacturing systems in the Internet environment are an evolution of traditional geometric and solid modeling systems. This paper presents ...
Jin Hou, Dengsheng Zhang, Zeng Chen, Xuerong Xu, T...
SEAA
2008
IEEE
14 years 2 months ago
Service Coroner: A Diagnostic Tool for Locating OSGi Stale References
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
Kiev Gama, Didier Donsez
PPDP
2007
Springer
14 years 1 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
RTA
2007
Springer
14 years 1 months ago
Rewriting Approximations for Fast Prototyping of Static Analyzers
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luk...