9626 search results - page 1632 / 1926 » Invariant Based Programming |
158
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
128
click to vote
CEC
2005
IEEE
16 years 8 days ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...
153
click to vote
CVPR
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we show that Ullman and Basri’s linear combination (LC) representation, which was originally proposed for alignment-based object recognition, can be used for outli...
170
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Main memories can consume a large percentage of overall energy in many data-intensive embedded applications. The past research proposed and evaluated memory banking as a possible ...
168
click to vote
HAPTICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Wearable haptics necessitates using low power, small, inexpensive tactors that are typically used as pager motors in cellular phones. One of their limitations is that it appears t...