Sciweavers

9532 search results - page 1686 / 1907
» Logic, Graphs, and Algorithms
Sort
View
ELPUB
2006
ACM
16 years 15 days ago
Text Parsing of a Complex Genre
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
Harald Lüngen, Maja Bärenfänger, Mi...
ISPD
2006
ACM
68views Hardware» more  ISPD 2006»
16 years 15 days ago
Solving hard instances of floorplacement
Physical Design of modern systems on chip is extremely challenging. Such digital integrated circuits often contain tens of millions of logic gates, intellectual property blocks, e...
Aaron N. Ng, Igor L. Markov, Rajat Aggarwal, Venky...
PPOPP
2006
ACM
16 years 15 days ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
ARITH
2005
IEEE
16 years 5 days ago
The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor
The floating-point unit in the Synergistic Processor Element of the 1st generation multi-core CELL Processor is described. The FPU supports 4-way SIMD single precision and intege...
Silvia M. Müller, Christian Jacobi 0002, Hwa-...
ASAP
2005
IEEE
142views Hardware» more  ASAP 2005»
16 years 5 days ago
Decimal Floating-Point Square Root Using Newton-Raphson Iteration
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
Liang-Kai Wang, Michael J. Schulte
« Prev « First page 1686 / 1907 Last » Next »