15777 search results - page 3049 / 3156 » Software Engineering |
115
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
In the past decade, energy-efficiency has been an important system design issue in both hardware and software managements. For mobile applications with critical missions, both ene...
113
Voted
ANSS
2004
IEEE
15 years 7 months ago
2004
IEEE
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
109
Voted
ANCS
2006
ACM
15 years 7 months ago
2006
ACM
As Intrusion Detection Systems (IDS) utilize more complex syntax to efficiently describe complex attacks, their processing requirements increase rapidly. Hardware and, even more, ...
133
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
115
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...