3487 search results - page 697 / 698 » The Virtual Design Team |
CADE
2011
Springer
12 years 5 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
ICDCS
2012
IEEE
11 years 7 months ago
2012
IEEE
—Cloud resources are usually priced in multiple markets with different service guarantees. For example, Amazon EC2 prices virtual instances under three pricing schemes — the su...
Book
"Have you ever played a side-scrolling action arcade game on your PC and wondered what it takes to program one? How do the programmers scroll their backgrounds so fast and mak...
NOCS
2007
IEEE
13 years 11 months ago
2007
IEEE
The paper introduces Network-on-Chip (NoC) design methodology and low cost mechanisms for supporting efficient cache access and cache coherency in future high-performance Chip Mul...
SCHULE
2007
Springer
13 years 11 months ago
2007
Springer
: An der Berufsbildenden Schule für Gewerbe und Technik in Trier werden Anwendungsentwickler an konkreten Projekten ausgebildet. In einer Lernortkooperation werden reale Aufgabens...