Sciweavers

2432 search results - page 254 / 487
» High-level approach to modeling of observed system behavior
Sort
View
CODES
2007
IEEE
16 years 28 days ago
Complex task activation schemes in system level performance analysis
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
Wolfgang Haid, Lothar Thiele
TIM
2011
125views more  TIM 2011»
15 years 1 months ago
A BE-SOI MEMS for Inertial Measurement in Geophysical Applications
—In this paper, an inertial transducer developed in bulk and etch silicon-on-insulator microelectromechanical-system technology is presented. The device is suitable for low-frequ...
Bruno Ando, Salvatore Baglio, Gaetano L'Episcopo, ...
APIN
2006
136views more  APIN 2006»
15 years 6 months ago
Cell modeling with reusable agent-based formalisms
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
Ken Webb, Tony White
DAC
1998
ACM
16 years 7 months ago
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
James Shin Young, Josh MacDonald, Michael Shilman,...
ISOLA
2010
Springer
15 years 5 months ago
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
Alessandro Moschitti