8874 search results - page 280 / 1775 » A New Implementation of Automath |
317
click to vote
PROCEDIA
2011
14 years 9 months ago
2011
Two decades of microprocessor architecture driven by quantitative 90/10 optimization has delivered an extraordinary 1000-fold improvement in microprocessor performance, enabled by...
157
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...
137
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe our experiences from implementing and integrating a new job scheduling algorithm in the gLite Grid middleware and present experimental results that compare it to the e...
172
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
164
click to vote
VTC
2007
IEEE
16 years 29 days ago
2007
IEEE
— Current UWB systems apply convolutional codes as their channel coding scheme. For next generation systems LDPC codes are in discussion due to their outstanding communications p...