6274 search results - page 899 / 1255 » Proofs, Programs, Processes |
117
Voted
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
94
Voted
ISCC
2007
IEEE
15 years 9 months ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
139
Voted
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
103
click to vote
ACCV
2007
Springer
15 years 9 months ago
2007
Springer
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
127
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...