21108 search results - page 3926 / 4222 » A General Class of Models of |
184
click to vote
NETCOOP
2007
Springer
16 years 7 days ago
2007
Springer
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in unde...
151
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
We present a new technique, early phase termination, for eliminating idle processors in parallel computations that use barrier synchronization. This technique simply terminates ea...
197
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
140
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
171
Voted
PPDP
2007
Springer
16 years 6 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...