1205 search results - page 156 / 241 » Program Extraction from Large Proof Developments |
139
click to vote
PICS
1998
15 years 2 months ago
1998
In the fine art field, the high-resolution inkjet printers made by IRIS Graphics, Inc. have for more than 7 years remained the preferred direct digital output device for printing ...
121
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
137
click to vote
ESEM
2010
ACM
15 years 10 hour ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
145
click to vote
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
131
click to vote
CAL
2002
15 years 1 months ago
2002
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...