• Matematiktorvet, 303 B

    DK-2800 Kgs. Lyngby

    Denmark

Research Output

Filter
Conference abstract for conference
2017

ShipNet

Avasalcai, C. & Pop, P., 2017.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
129 Downloads (Pure)
2016

Timing Analysis of Genetic Logic Circuits using D-VASim

Baig, H. & Madsen, J., 2016. 1 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
249 Downloads (Pure)
2014

DySectAPI: Scalable Prescriptive Debugging

Jensen, N. B., Karlsson, S., Quarfot Nielsen, N., Lee, G. L., Ahn, D. H., Legendre, M. & Schulz, M., 2014. 2 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
107 Downloads (Pure)

Exposing MPI Objects for Debugging

Brock-Nannestad, L., DelSignore, J., Squyres, J. M., Karlsson, S. & Mohror, K., 2014. 2 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
83 Downloads (Pure)

Safe Asynchronous System Calls - extended abstract

Brock-Nannestad, L. & Karlsson, S., 2014. 4 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
73 Downloads (Pure)

Unit Testing Framework for Operating System Kernels

Walter, M. & Karlsson, S., 2014. 1 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
323 Downloads (Pure)