1953 search results - page 174 / 391 » codes 2010 |
224
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
165
Voted
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—In software development, every change induces a risk. What happens if code changes again and again in some period of time? In an empirical study on Windows Vista, we found that ...
134
click to vote
JUCS
2010
15 years 3 months ago
2010
: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also ...
155
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
111
click to vote
PVLDB
2010
15 years 3 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...