3971 search results - page 766 / 795 » On the Use of Properties in Java Applications |
156
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
165
click to vote
PE
2010
Springer
14 years 10 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
154
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in āregularā...
146
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
The rise of multi-core processors has shifted performance eļ¬orts towards parallel programs. However, single-threaded code, whether from legacy programs or ones diļ¬cult to para...
195
Voted
MOBIHOC
2012
ACM
13 years 6 months ago
2012
ACM
Mobile devices are increasingly being relied on for services that go beyond simple connectivity and require more complex processing. Fortunately, a mobile device encounters, possi...