1179 search results - page 48 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
142
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider Loosely Time-Triggered Architectures (LTTA) as a networked infrastructure for deploying discrete control. LTTA are distributed architectures in which 1/ ...
140
Voted
MLMTA
2003
15 years 5 months ago
2003
In this paper, we attempt to explain why rule-based syntactic analysis systems have not so far worked as well as they could. This will motivate our approach, which is based on a n...
128
click to vote
STOC
1998
ACM
15 years 7 months ago
1998
ACM
In this paper we study randomized algorithms for circuit switching on multistage networks related to the butterfly. We devise algorithms that route messages by constructing circu...
120
Voted
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
In a selective information dissemination (SDI) system, users submit profiles consisting of a number of long-standing queries to represent their information needs. The system then c...
115
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...