5564 search results - page 966 / 1113 » Performance Modeling of HPC Applications |
144
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
111
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
Parallel prefix adder is the most flexible and widely-used binary adder for ASIC designs. Many high-level synthesis techniques have been developed to find optimal prefix structures...
123
click to vote
INCDM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Character design is a key ingredient to the success of any comicbook, graphic novel, or animated feature. Artists typically use shape, size and proportion as the first de...
123
Voted
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...
121
Voted
EMNETS
2007
15 years 6 months ago
2007
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...