3575 search results - page 130 / 715 » Presentations of computably enumerable reals |
183
click to vote
ISORC
2006
IEEE
16 years 11 days ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
181
click to vote
RTAS
2006
IEEE
16 years 10 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
181
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
161
click to vote
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
150
click to vote
WACV
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a unified framework for achieving robust and real-time image stabilization and rectification. While compensating for a small amount of image jitter due to plat...