1481 search results - page 168 / 297 » Enriching the Software Development Process by Formal Methods |
128
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
132
click to vote
LCTRTS
2000
Springer
15 years 7 months ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...
172
Voted
SIAMIS
2011
14 years 11 months ago
2011
Abstract. Accurate signal recovery or image reconstruction from indirect and possibly undersampled data is a topic of considerable interest; for example, the literature in the rece...
144
Voted
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
204
click to vote
PAMI
2012
13 years 6 months ago
2012
—Social media networks contain both content and context-specific information. Most existing methods work with either of the two for the purpose of multimedia mining and retrieva...