Search Results for Management.

53.

Yazar

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

Format:

Electronic Resources

Alıntı:

for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from

54.

Yazar

Beierle, Christoph. editor.

Format:

Electronic Resources

Alıntı:

information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery

55.

Yazar

Stevens, Perdita. editor.

Format:

Electronic Resources

Alıntı:

-- Modeling and Abstraction of Memory Management in a Hypervisor -- Crowdsourced Bug Triaging: Leveraging Q&A

56.

Yazar

Calinescu, Radu. editor.

Format:

Electronic Resources

Alıntı:

Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques

	{displayName}	{count}
{error}