Sciweavers

4867 search results - page 121 / 974
» Fluid Models in Performance Analysis
Sort
View
CODES
2000
IEEE
15 years 9 months ago
Performance estimation for embedded systems with data and control dependencies
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
Paul Pop, Petru Eles, Zebo Peng
BMCBI
2005
112views more  BMCBI 2005»
15 years 4 months ago
"Harshlighting" small blemishes on microarrays
Background: Microscopists are familiar with many blemishes that fluorescence images can have due to dust and debris, glass flaws, uneven distribution of fluids or surface coatings...
Mayte Suárez-Fariñas, Asifa Haider, ...
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 6 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
148
Voted
CAISE
2003
Springer
15 years 8 months ago
Improving the Efficiency of Workflow Analysis
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
Loucif Zerguini
132
Voted
EPEW
2008
Springer
15 years 6 months ago
Performance Evaluation of Embedded ECA Rule Engines: A Case Study
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
Pablo Ezequiel Guerrero, Kai Sachs, Stephan Butter...