Sciweavers

2805 search results - page 320 / 561
» Software, architecture, and participatory design
Sort
View
ICSM
2005
IEEE
16 years 7 days ago
A collection of C, C++ and Java code understanding and refactoring plugins
This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...
Marian Vittek, Peter Borovanský, Pierre-Eti...
DAC
2000
ACM
16 years 7 months ago
Run-time voltage hopping for low-power real-time systems
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...
Seongsoo Lee, Takayasu Sakurai
SPIN
2007
Springer
16 years 22 days ago
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
María-del-Mar Gallardo, Christophe Joubert,...
EUROMICRO
2005
IEEE
16 years 7 days ago
Distribution of a Hierarchical Component in a Non-Connected Environment
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
Didier Hoareau, Yves Mahéo
CBMS
2008
IEEE
15 years 8 months ago
Workflow Integration in VL-e Medical
This paper presents the integration of a workflow management system into the VL-e Medical software architecture. Workflows are designed with the Taverna workbench, and then execute...
Tristan Glatard, Kamel Boulebiar, Sílvia D....