856 search results - page 138 / 172 » Dependent Types in Practical Programming |
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Chemical-mechanical planarization (CMP) and other manufacturing steps in very deep-submicron VLSI have varying effects on device and interconnect features, depending on the local ...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
Informal, sketch-based design tools closely match the work practices of user interface designers. Current tools, however, are limited in the size and complexity of interaction tha...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In particular, we explore the operations drivers can per...
CSEE
2009
Springer
14 years 3 months ago
2009
Springer
As software engineering educators, it is important for us to realize the increasing domainspecificity of software, and incorporate these changes in our design of teaching material...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...