7393 search results - page 1081 / 1479 » Synthesis-for-testability using transformations |
127
Voted
CHI
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents Kick Ass Kung-Fu, a martial arts game installation where the player fights virtual enemies with kicks and punches as well as acrobatic moves such as cartwheels...
274
Voted
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
255
Voted
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
124
click to vote
RECOMB
2002
Springer
16 years 5 months ago
2002
Springer
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
153
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
We investigate constructions of pseudorandom generators that fool polynomial tests of degree d in m variables over finite fields F. Our main construction gives a generator with se...