2651 search results - page 219 / 531 » Experiences with the Use of a Configuration Language |
253
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
163
click to vote
COGSCI
2004
15 years 6 months ago
2004
Three experiments investigated whether the similarity of relational structures influences the interpretation of spatial representations. Adults were shown diagrams of hand gesture...
157
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the authors’ experiences creating a full Build Management System from a simple Version Control System. We will explore how the XP values of simplicity, feed...
178
click to vote
HRI
2006
ACM
16 years 21 days ago
2006
ACM
Polymorphic, or shape-shifting, robots can normally tackle more types of tasks than non-polymorphic robots due to their flexible morphology. Their versatility adds to the challeng...
203
click to vote
FPGA
2012
ACM
14 years 2 months ago
2012
ACM
In floating-point datapaths synthesized on FPGAs, the shifters that perform mantissa alignment and normalization consume a disproportionate number of LUTs. Shifters are implemente...