3565 search results - page 117 / 713 » Modeling a system controller for timing analysis |
147
click to vote
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
135
click to vote
NAACL
2007
15 years 4 months ago
2007
In the framework of the Tc-Star project, we analyze and propose a combination of two Statistical Machine Translation systems: a phrase-based and an N-gram-based one. The exhaustiv...
101
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a method for analyzing the Bit Error Rate of recovered data for PLL-based data recovery systems (DRS) as the PLL comes into lock. This method is based on the a...
110
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
129
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...