3575 search results - page 71 / 715 » Presentations of computably enumerable reals |
204
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
162
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Traversable interfaces establish the illusion that virtual and physical worlds are joined together and that users can physically cross from one to the other. Our design for a trav...
174
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
173
click to vote
HPDC
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
171
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...