3302 search results - page 118 / 661 » Software Is More Than Code |
162
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
125
Voted
WACC
1999
ACM
15 years 8 months ago
1999
ACM
Electronic conversations often seem less polite than spoken conversations. The usual explanation for this is that people who are not physically copresent become depersonalized and...
118
Voted
OSS
2009
Springer
15 years 10 months ago
2009
Springer
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
129
Voted
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
139
Voted
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...