4520 search results - page 191 / 904 » Algebraic Techniques for Timed Systems |
224
click to vote
REX
1991
15 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
205
click to vote
PLDI
1994
ACM
15 years 11 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
156
click to vote
ACL
2007
15 years 8 months ago
2007
Live closed-captions for deaf and hard of hearing audiences are currently produced by stenographers, or by voice writers using speech recognition. Both techniques can produce capt...
147
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— A multiple-input multiple-output (MIMO) system, where multiple antennas are used at both transmitter and receiver, has been a promising technique for realizing highspeed wirele...
176
click to vote
ISPDC
2003
IEEE
16 years 12 days ago
2003
IEEE
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...