3688 search results - page 127 / 738 » Static analysis of aspects |
164
Voted
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
273
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
145
Voted
SAT
2009
Springer
16 years 18 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
168
click to vote
AVSS
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper presents the results of analysing the effect of different motion segmentation techniques in a system that transmits the information captured by a static surveillance ca...
136
click to vote
DOLAP
1999
ACM
15 years 10 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...