1661 search results - page 29 / 333 » Real-time specification patterns |
ISORC
1999
IEEE
15 years 2 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
101
click to vote
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
LCTRTS
1998
Springer
15 years 2 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
113
click to vote
CSREAPSC
2006
14 years 11 months ago
2006
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...
FBT
1998
14 years 11 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...