Sciweavers

1604 search results - page 171 / 321
» Development Separation in Lambda-Calculus
Sort
View
INFOCOM
2010
IEEE
13 years 9 months ago
Building Scalable Virtual Routers with Trie Braiding
—Many popular algorithms for fast packet forwarding and filtering rely on the tree data structure. Examples are the trie-based IP lookup and packet classification algorithms. W...
Haoyu Song, Murali S. Kodialam, Fang Hao, T. V. La...
SIAMIS
2010
123views more  SIAMIS 2010»
13 years 9 months ago
Numerical Algorithms for Polyenergetic Digital Breast Tomosynthesis Reconstruction
Digital tomosynthesis imaging is becoming increasingly significant in a variety of medical imaging applications. Tomosynthesis imaging involves the acquisition of a series of proj...
Julianne Chung, James G. Nagy, Ioannis Sechopoulos
ICOODB
2010
171views Database» more  ICOODB 2010»
13 years 8 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
ESIAT
2009
IEEE
13 years 8 months ago
Design of Distributed Architecture Based on Java Remote Method Invocation Technology
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
Delin Hou, Huosong Xia
FIW
2009
101views Communications» more  FIW 2009»
13 years 8 months ago
Feature Interaction Detection in the Feature Language Extensions
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
Lei Sun, Lu Zhoa, Yimeng Li, Wu-Hon F. Leung