10412 search results - page 1470 / 2083 » The efficiency of algorithms - misconceptions |
217
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Technological advances in high-throughput techniques and efficient data acquisition methods have resulted in a massive amount of life science data. The data is stored ...
201
click to vote
IJFCS
2006
15 years 7 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
183
click to vote
JUCS
2006
15 years 7 months ago
2006
Abstract: Advances in technology now make it possible to integrate hundreds of cores (e.g. general or special purpose processors, embedded memories, application specific components...
210
click to vote
PERVASIVE
2008
Springer
15 years 7 months ago
2008
Springer
Energy-efficency is a key concern when designing protocols for wireless sensor networks (WSN). This is of particular importance in commercial applications where demonstrable retur...
175
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications depl...