8810 search results - page 1547 / 1762 » Open. Closed. Open |
182
click to vote
LCPC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
183
click to vote
LCPC
2007
Springer
16 years 21 days ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
195
click to vote
NETCOOP
2007
Springer
16 years 20 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...
177
click to vote
PAM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Tracing traffic using commodity hardware in contemporary highspeed access or aggregation networks such as 10-Gigabit Ethernet is an increasingly common yet challenging t...
187
click to vote
SAT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...