Sciweavers

12333 search results - page 419 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
166
Voted
PE
2010
Springer
116views Optimization» more  PE 2010»
15 years 5 months ago
A polling model with multiple priority levels
In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which custom...
Marko A. A. Boon, Ivo J. B. F. Adan, Onno J. Boxma
ISCAS
2008
IEEE
106views Hardware» more  ISCAS 2008»
16 years 1 months ago
A quantitative evaluation of C-based synthesis on heterogeneous embedded systems design
C-based design techniques and methodologies have been proposed to tackle the complexity of heterogeneous embedded systems. The heterogeneity comes in the functionalities and the im...
Omar Hammami, Zoukun Wang, Virginie Fresse, Domini...
TMRA
2005
Springer
16 years 8 days ago
Collaborative Software Development and Topic Maps
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
Markus Ueberall, Oswald Drobnik
RE
2008
Springer
15 years 5 months ago
Supporting Requirements Model Evolution throughout the System Life-Cycle
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...
Neil A. Ernst, John Mylopoulos, Yijun Yu, Tien Ngu...
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 4 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu