Sciweavers

1724 search results - page 258 / 345
» Industrial applications
Sort
View
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
15 years 12 months 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
15 years 12 months 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
15 years 11 months 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
15 years 11 months 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»
15 years 11 months 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