×

Found 16 Documents (Results 1–16)

Analyzing asynchronous programs with preemption. (English) Zbl 1248.68348

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 37-48, electronic only (2008).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Parallel algorithms for solving linear equations in VLSI circuit simulation. (English) Zbl 1018.65033

Van Rienen, Ursula (ed.) et al., Scientific computing in electrical engineering. Proceedings of the 3rd international workshop, Warnemünde, Germany, August 20-23, 2000. Berlin: Springer. Lect. Notes Comput. Sci. Eng. 18, 301-308 (2001).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software