Sciweavers

1724 search results - page 258 / 345
» Industrial applications
Sort
View
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
16 years 14 days ago
Optimization Techniques for ADL-Driven RTL Processor Synthesis
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
Oliver Schliebusch, Anupam Chattopadhyay, Ernst Ma...
PPOPP
2005
ACM
16 years 13 days ago
Scaling model checking of dataraces using dynamic information
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
Ohad Shacham, Mooly Sagiv, Assaf Schuster
GPCE
2005
Springer
16 years 12 days ago
Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
Yang Jun, Stan Jarzabek
OTM
2005
Springer
16 years 11 days ago
Semantic Transformation of Web Services
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
David Bell, Sergio de Cesare, Mark Lycett
SCIA
2005
Springer
148views Image Analysis» more  SCIA 2005»
16 years 11 days ago
3D Reconstruction of Metallic Surfaces by Photopolarimetric Analysis
In this paper we present a novel image-based 3D surface reconstruction technique that incorporates both reflectance and polarisation features into a variational framework. Our tec...
Pablo d'Angelo, Christian Wöhler