794 search results - page 130 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
110
Voted
EDBTW
2006
Springer
15 years 4 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
90
Voted
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
137
click to vote
PAMI
2012
13 years 2 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...
132
click to vote
FCCM
2008
IEEE
15 years 7 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
A relevant consequence of the unceasing expansion of the Web and e-commerce is the growth of the demand of new Web sites and Web applications. The software industry is facing the ...