3688 search results - page 604 / 738 » Static analysis of aspects |
207
click to vote
FPL
2007
Springer
16 years 20 days ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
203
click to vote
CVPR
2009
IEEE
16 years 20 days ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
155
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
ICSPEA is a novel multi-objective evolutionary algorithm which integrates aspects from the powerful variation operators of the Covariance Matrix Adaptation Evolution Strategy (CMA...
149
click to vote
HUC
2007
Springer
16 years 20 days ago
2007
Springer
How should Ubicomp technologies be evaluated? While lab studies are good at sensing aspects of human behavior and revealing usability problems, they are poor at capturing context o...
187
click to vote
ILC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...