2615 search results - page 310 / 523 » Analysis of Real Time Operating System Based Applications |
150
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we consider a deadline constrained traffic and analyze the joint effects of packet queuing and adaptive modulation (AM) for packet transmission in MIMO systems. We p...
125
Voted
ICCD
2004
IEEE
16 years 12 days ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
122
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
149
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
126
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...