Sciweavers

6939 search results - page 912 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
161
Voted
MSV
2004
15 years 8 months ago
On the Conversion between Number Systems
This brief revisits the problem of conversion between number systems and asks the following question: given a nonnegative decimal number , what is the value of the digit at positio...
Houssain Kettani
DAC
2001
ACM
16 years 7 months ago
Automated Pipeline Design
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
Daniel Kroening, Wolfgang J. Paul
157
Voted
ICSE
2009
IEEE-ACM
16 years 7 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
IUI
2010
ACM
16 years 3 months ago
Interactive machine translation using a web-based architecture
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
Daniel Ortiz-Martínez, Luis A. Leiva, Vicen...
ICSM
2008
IEEE
16 years 1 months ago
Automatically identifying C++0x concepts in function templates
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
Andrew Sutton, Jonathan I. Maletic