4520 search results - page 182 / 904 » Algebraic Techniques for Timed Systems |
207
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
Rendering and animating in real-time a multitude of articulated characters presents a real challenge and few hardware systems are up to the task. Up to now little research has bee...
194
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present some preliminary results concerning a realtime visualisation system for densely populated urban environments. In order to be able to render the l...
169
Voted
TIT
2008
15 years 7 months ago
2008
This paper presents a quasi-random approach to space-time (ST) codes. The basic principle is conceptually simple, yet still very effective and flexible regarding the transmission ...
205
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
222
click to vote
ENTCS
2007
15 years 7 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...