Sökresultat - parallel debugging static functionals function https

Menade du:
functionals function » function function , functions functional , function dysfunction
static functionals » static functional , state functional , states functional
debugging static » debugging dynamic , debugging systemc , debugging multi
function https » functions https , fiction https

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Hämta fulltext

Elektronisk E-bok

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Hämta fulltext

Elektronisk E-bok

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen