14360 search results - page 403 / 2872 » Time Modeling in MARTE |
116
Voted
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
122
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper focuses on statistical interconnect timing analysis in a parameterized block-based statistical static timing analysis tool. In particular, a new framework for performin...
137
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Distributed time synchronization is an important part of a sensor network where sensing and actuation must be coordinated across multiple nodes. Several time synchronization pr...
139
click to vote
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
Recent research has had some success using the length of time a user displays a document in their web browser as implicit feedback for document preference. However, most studies h...
120
click to vote
ECBS
2002
IEEE
15 years 9 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...