10870 search results - page 1878 / 2174 » Model Checking Programs |
176
click to vote
ICPADS
2005
IEEE
16 years 9 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...
172
click to vote
IEEEPACT
2005
IEEE
16 years 8 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...
161
click to vote
ISCA
2005
IEEE
16 years 8 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, ...
172
click to vote
WACV
2005
IEEE
16 years 8 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 ...
187
click to vote
SC
2005
ACM
16 years 7 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...