5639 search results - page 148 / 1128 » Timed Abstract Non-interference |
85
Voted
SAMOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract—Most research work on (Simultaneous Multithreading Processors) SMTs focuses on improving throughput and/or fairness, or on prioritizing some threads over others in a wor...
118
Voted
CIBCB
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
122
Voted
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
104
click to vote
IJCNLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Temporal question classification assigns time granularities to temporal questions ac-cording to their anticipated answers. It is very important for answer extraction and ...
100
Voted
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...