3736 search results - page 467 / 748 » Generative Programming |
179
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
152
Voted
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Sensors networks instrument the physical space using motes that run network embedded programs thus acquiring, processing, storing and transmitting sensor data. The motes commercial...
183
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
129
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
163
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....