1407 search results - page 47 / 282 » The Use of Overloading in Java Programs |
168
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
126
click to vote
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
140
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
109
Voted
ENTCS
2007
15 years 2 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
111
Voted
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...