Sciweavers

4890 search results - page 49 / 978
» From system specifications to component behavioral models
Sort
View
ICCAD
1996
IEEE
77views Hardware» more  ICCAD 1996»
15 years 1 months ago
Power optimization in disk-based real-time application specific systems
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
Inki Hong, Miodrag Potkonjak
CN
2006
65views more  CN 2006»
14 years 9 months ago
Modeling web applications reacting to user behaviors
Many current research efforts address the problem of personalizing the Web experience for each user with respect to user's identity and/or context. In this paper we propose a...
Stefano Ceri, Florian Daniel, Federico Michele Fac...
FMICS
2010
Springer
14 years 11 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...
BMCBI
2007
114views more  BMCBI 2007»
14 years 10 months ago
Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
Xiaohua Hu, Fang-Xiang Wu
SAC
2010
ACM
15 years 4 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev