1953 search results - page 273 / 391 » Normative system games |
121
Voted
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
In this contribution, an automatic system of song edition for Guitar Hero/Frets on Fire is presented. The system performs three fundamental stages: time analysis, frequency analys...
179
Voted
HIPEAC
2009
Springer
15 years 10 months ago
2009
Springer
Heterogeneous architectures are currently widespread. With the advent of easy-to-program general purpose GPUs, virtually every recent desktop computer is a heterogeneous system. Co...
115
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
161
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
163
Voted
IANDC
2007
15 years 3 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...