161 search results - page 17 / 33 » A logic-based approach for real-time object-oriented softwar... |
99
Voted
ICCD
1992
IEEE
15 years 5 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
102
Voted
SIGDOC
2006
ACM
15 years 6 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
120
Voted
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
97
Voted
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
138
click to vote
CSREAPSC
2006
15 years 2 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...