1130 search results - page 202 / 226 » Developing Trust In Virtual Software Development Teams |
135
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
128
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
159
Voted
CASCON
1992
15 years 4 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
131
click to vote
PRESENCE
2002
15 years 3 months ago
2002
This paper describes Studierstube, an augmented reality system developed over the past four years at Vienna University of Technology, Austria, in extensive collaboration with Frau...
154
Voted
SIGCSE
2012
ACM
13 years 11 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...