Sciweavers

5961 search results - page 966 / 1193
» Design Science and Software Engineering
Sort
View
126
Voted
EMSOFT
2005
Springer
15 years 9 months ago
Minimizing expected energy in real-time embedded systems
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
Ruibin Xu, Daniel Mossé, Rami G. Melhem
96
Voted
ICESS
2005
Springer
15 years 9 months ago
Self-correction of FPGA-Based Control Units
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
Iouliia Skliarova
121
Voted
ICESS
2005
Springer
15 years 9 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
127
Voted
ICWE
2005
Springer
15 years 9 months ago
MDA Transformations Applied to Web Application Development
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
Santiago Meliá, Andreas Kraus, Nora Koch
124
Voted
OOPSLA
2005
Springer
15 years 9 months ago
CodeQuest: querying source code with datalog
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kri...