Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
interaction computation » interaction computational, intersection computation, interactive computation
computation programming » communication programming, computation programmatic, computing programming
programming caching » programming making, programming learning, programming building
caching arrays » scanning arrays
arrays via » arrays a
1
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern