3934 search results - page 528 / 787 » Approximate Schedulability Analysis |
278
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
190
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
151
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
It is believed that masking is an effective countermeasure against power analysis attacks: before a certain operation involving a key is performed in a cryptographic chip, the inpu...
182
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
157
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a VIrtual Scanning Algorithm (VISA), tailored and optimized for road network surveillance. Our design uniquely leverages upon the facts that (i) the movement...