7167 search results - page 107 / 1434 » A Technique for Invariant Generation |
225
click to vote
CPE
1994
Springer
15 years 10 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
232
click to vote
TIM
2010
15 years 1 months ago
2010
In this paper, a novel low-power design technique is proposed to minimize the standby leakage power in nanoscale CMOS very large scale integration (VLSI) systems by generating the ...
136
click to vote
ICSM
2007
IEEE
16 years 18 days ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
166
click to vote
CRV
2007
IEEE
16 years 19 days ago
2007
IEEE
We describe a video indexing system that aims at indexing large video files in relation to the presence of similar faces. The detection of near-frontal view faces is done with a c...
153
click to vote
AIME
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...