Sciweavers

2200 search results - page 17 / 440
» Programming norm change
Sort
View
HPCA
2011
IEEE
14 years 1 months ago
Mercury: A fast and energy-efficient multi-level cell based Phase Change Memory system
― Phase Change Memory (PCM) is one of the most promising technologies among emerging non-volatile memories. PCM stores data in crystalline and amorphous phases of the GST materia...
Madhura Joshi, Wangyuan Zhang, Tao Li
AGILEDC
2007
IEEE
15 years 4 months ago
Forming to Performing: The Evolution of an Agile Team
Using Bruce Tuckman’s [1] “Forming – Storming – Norming – Performing” model of team development we review the effects of change on our team through each stage. We go o...
Darren Rowley, Manfred Lange
SIGSOFT
2010
ACM
14 years 4 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
IWFM
2003
172views Formal Methods» more  IWFM 2003»
14 years 11 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
VL
2008
IEEE
15 years 4 months ago
End-user programming in the wild: A field study of CoScripter scripts
Although a new class of languages has emerged to enable end users to create their own web applications, little is known about how end-user programmers actually use such languages ...
Christopher Bogart, Margaret M. Burnett, Allen Cyp...