Sciweavers

2116 search results - page 127 / 424
» Resource Analysis by Sup-interpretation
Sort
View
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
15 years 1 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...
WCET
2010
15 years 1 months ago
Towards WCET Analysis of Multicore Architectures Using UPPAAL
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
Andreas Gustavsson, Andreas Ermedahl, Björn L...
COLING
2010
14 years 10 months ago
EMMA: A novel Evaluation Metric for Morphological Analysis
We present a novel Evaluation Metric for Morphological Analysis (EMMA) that is both linguistically appealing and empirically sound. EMMA uses a graphbased assignment algorithm, op...
Sebastian Spiegler, Christian Monson
RE
2010
Springer
14 years 10 months ago
Comparison of Requirements Hand-off, Analysis, and Negotiation: Case Study
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
Samuel Fricker, Martin Glinz
TC
2010
14 years 10 months ago
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha...