Sciweavers

250 search results - page 6 / 50
» Towards a hierarchical design and integration of programming...
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 8 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
XPU
2010
Springer
13 years 6 months ago
Towards Understanding Communication Structure in Pair Programming
Pair Programming has often been reported to be beneficial in software projects. To better understand where these benefits come from we evaluate the aspect of intra-pair communica...
Kai Stapel, Eric Knauss, Kurt Schneider, Matthias ...
CASES
2003
ACM
14 years 1 days ago
A hierarchical approach for energy efficient application design using heterogeneous embedded systems
Several features such as reconfiguration, voltage and frequency scaling, low-power operating states, duty-cycling, etc. are exploited for latency and energy efficient application ...
Sumit Mohanty, Viktor K. Prasanna
HICSS
2003
IEEE
155views Biometrics» more  HICSS 2003»
14 years 1 months ago
Consumers cognition towards communities: Customer-centred community design using the means-end chain perspective
This paper presents research on the application of the means-end chain (MEC) framework for investigating customers cognitive structure regarding community applications. It is argu...
Peter Aschmoneit, Mark Heitmann
EDUTAINMENT
2009
Springer
14 years 3 months ago
AdMoVeo: A Robotic Platform for Teaching Creative Programming to Designers
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
Sjriek Alers, Jun Hu