4520 search results - page 281 / 904 » Algebraic Techniques for Timed Systems |
181
click to vote
DATE
2005
IEEE
16 years 29 days ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
216
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a heuristic algorithm that improves the performance of static task scheduling. Our algorithm is based on the list-scheduling mechanism. For the listing p...
162
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
177
click to vote
WSC
1998
15 years 8 months ago
1998
This paper reviews statistical methods for analyzing output data from computer simulations of single systems. In particular, it focuses on the problems of choosing initial conditi...
168
click to vote
FSKD
2005
Springer
16 years 24 days ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...