Sciweavers

15777 search results - page 3041 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
148
Voted
CISIS
2010
IEEE
15 years 19 days ago
Modeling of Stress-induced Regulatory Cascades Involving Transcription Factor Dimers
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...
Maria Manioudaki, Panayiota Poirazi
124
Voted
CODES
2010
IEEE
15 years 19 days ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
115
Voted
CODES
2010
IEEE
15 years 19 days ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...
142
Voted
CODES
2010
IEEE
15 years 19 days ago
Worst-case performance analysis of synchronous dataflow scenarios
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
Marc Geilen, Sander Stuijk
133
Voted
CODES
2010
IEEE
15 years 19 days ago
Dynamic, non-linear cache architecture for power-sensitive mobile processors
Today, mobile smartphones are expected to be able to run the same complex, algorithm-heavy, memory-intensive applications that were originally designed and coded for generalpurpos...
Garo Bournoutian, Alex Orailoglu
« Prev « First page 3041 / 3156 Last » Next »