Sciweavers

3879 search results - page 269 / 776
» PyPBS design and methodologies
Sort
View
CSREAESA
2003
15 years 7 months ago
Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
Friedhelm Stappert, Carsten Rust
FORTE
2003
15 years 7 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
WSC
2004
15 years 7 months ago
Capacity Analysis of Automated Material Handling Systems in Semiconductor Fabs
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
Michael E. Kuhl, Julie Christopher
ICHIM
1997
118views more  ICHIM 1997»
15 years 7 months ago
Location Aware Mobile Interactive Guides: Usability Issues
This paper discusses the issues related to the application of wireless communication and positioning technologies to the development of hand-held electronic tour guides. These iss...
Jonathan Broadbent, Patrizia Marti
DBSEC
2009
124views Database» more  DBSEC 2009»
15 years 7 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn