2452 search results - page 386 / 491 » On Reduction of Lagrange Systems |
176
click to vote
ESTIMEDIA
2009
Springer
16 years 14 days ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
230
click to vote
FOSAD
2009
Springer
16 years 14 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
174
click to vote
ICN
2009
Springer
16 years 14 days ago
2009
Springer
Abstract— Current computing systems employ different mechanisms to deal with overload conditions. Of those widely deployed are content adaptation mechanisms whereby the quality l...
149
click to vote
MDM
2009
Springer
16 years 13 days ago
2009
Springer
Continuous queries in Wireless Sensor Networks (WSNs) are founded on the premise of Query Routing Tree structures (denoted as T), which provide sensors with a path to the querying...
123
click to vote
ISLPED
2009
ACM
16 years 12 days ago
2009
ACM
While researchers have invested substantial effort to build architectural power models, validating such models has proven difficult at best. In this paper, we examine the accurac...