2645 search results - page 41 / 529 » time 2003 |
RSP
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
CSREAESA
2003
13 years 11 months ago
2003
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 ...
BIBE
2003
IEEE
14 years 3 months ago
2003
IEEE
We develop a method for integrating time series expression profiles and factor-gene binding data to quantify dynamic aspects of gene regulation. We estimate latencies for transcr...
ECRTS
2003
IEEE
14 years 3 months ago
2003
IEEE
1 : The ongoing revision of the POSIX.13 standard —real-time profiles for portable operating system interfaces— proposes adding new services to the Minimum RealTime System Prof...