632 search results - page 44 / 127 » C and C Style Guides |
PSYCHNOLOGY
2007
14 years 9 months ago
2007
In this paper it is our intention to discuss a Teacher Education proposal that uses an on line asynchronous learning environment to develop collaborative practices and to enhance ...
141
click to vote
CASC
2011
Springer
13 years 9 months ago
2011
Springer
We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for comp...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Due to high levels of integration and complexity, the design of multi-core SoCs has become increasingly challenging. In particular, energy consumption and distributing a single gl...
106
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
104
click to vote
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
Mobile devices such as the iPhone provide state of the art interaction capabilities also for web browser applications. Our mobile development is targeted to a Energy Awareness app...