Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Chattopadhyay, Arijit"'
Autor:
Chattopadhyay, Arijit
We propose a fully automated and dynamic method for generating likely invariants from multithreaded programs and then leveraging these invariants to infer atomic regions and diagnose concurrency errors in the software code. Although existing methods
Externí odkaz:
http://hdl.handle.net/10919/49103
Autor:
Jungbluth, Heinz *, Davis, Mark R., Müller, Clemens, Counsell, Serena, Allsop, Joanna, Chattopadhyay, Arijit, Messina, Sonia, Mercuri, Eugenio, Laing, Nigel G., Sewry, Caroline A., Bydder, Graeme, Muntoni, Francesco
Publikováno v:
In Neuromuscular Disorders 2004 14(12):785-790
Autor:
Jungbluth, Heinz *, Sewry, Caroline A., Counsell, Serena, Allsop, Joanna, Chattopadhyay, Arijit, Mercuri, Eugenio, North, Kathryn, Laing, Nigel, Bydder, Graeme, Pelin, Katarina, Wallgren-Pettersson, Carina, Muntoni, Francesco
Publikováno v:
In Neuromuscular Disorders 2004 14(12):779-784
Publikováno v:
In Diabetes Research and Clinical Practice 2003 60(2):119-124
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering; 2015, p835-846, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2013, p4-14, 11p