2139 search results - page 134 / 428 » Modeling Aspect-Oriented Compositions |
179
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
174
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We present a novel dataset and novel algorithms for the problem of detecting activities of daily living (ADL) in firstperson camera views. We have collected a dataset of 1 millio...
150
click to vote
SLE
2009
Springer
16 years 29 days ago
2009
Springer
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
171
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
142
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...