4695 search results - page 795 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
171
click to vote
TASE
2007
IEEE
16 years 22 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
175
click to vote
ACOM
2006
Springer
16 years 14 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
155
click to vote
PPOPP
2006
ACM
16 years 13 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
259
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
209
click to vote
CCR
2011
15 years 1 months ago
2011
This paper presents the results of an investigation into the application flow control technique utilised by YouTube. We reveal and describe the basic properties of YouTube applic...