Sciweavers

2530 search results - page 431 / 506
» Dynamic topological logic
Sort
View
131
Voted
FPGA
2007
ACM
153views FPGA» more  FPGA 2007»
15 years 9 months ago
GlitchLess: an active glitch minimization technique for FPGAs
This paper describes a technique that reduces dynamic power in FPGAs by reducing the number of glitches in the global routing resources. The technique involves adding programmable...
Julien Lamoureux, Guy G. Lemieux, Steven J. E. Wil...
115
Voted
HYBRID
2007
Springer
15 years 9 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
115
Voted
ICWE
2007
Springer
15 years 9 months ago
Active Rules for Runtime Adaptivity Management
The trend over the last years clearly shows that modern Web development is evolving from traditional, HTML-based Web sites to fullfledged, complex Web applications, also equipped ...
Florian Daniel, Maristella Matera, Alessandro Mora...
122
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
R-OSGi: Distributed Applications Through Software Modularization
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
118
Voted
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 9 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss