10870 search results - page 1878 / 2174 » Model Checking Programs |
202
click to vote
ICPADS
2005
IEEE
16 years 23 days ago
2005
IEEE
The performance of an e-commerce application can be measured according to technical metrics but also following business indicators. The revenue obtained by a commercial web applic...
188
click to vote
IEEEPACT
2005
IEEE
16 years 23 days ago
2005
IEEE
While general-purpose processors have only recently employed chip multiprocessor (CMP) architectures, network processors (NPs) have used heterogeneous multi-core architectures sin...
178
click to vote
ISCA
2005
IEEE
16 years 23 days ago
2005
IEEE
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
196
click to vote
WACV
2005
IEEE
16 years 23 days ago
2005
IEEE
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...
210
click to vote
SC
2005
ACM
16 years 22 days ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...