4520 search results - page 242 / 904 » Algebraic Techniques for Timed Systems |
219
click to vote
COMPSAC
2011
IEEE
14 years 7 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
190
click to vote
PAMI
2007
15 years 6 months ago
2007
We describe a semi-supervised regression algorithm that learns to transform one time series into another time series given examples of the transformation. This algorithm is applie...
178
click to vote
WWW
2002
ACM
16 years 8 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
208
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Time information is critical for a variety of applications in distributed environments that facilitate pervasive computing and communication. This work describes and evaluates a no...
225
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...