Sciweavers

748 search results - page 45 / 150
» Automatic Presentations and Semigroup Constructions
Sort
View
MICRO
2002
IEEE
100views Hardware» more  MICRO 2002»
14 years 18 days ago
Microarchitectural exploration with Liberty
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
Manish Vachharajani, Neil Vachharajani, David A. P...
PLDI
2003
ACM
14 years 29 days ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
CIKM
2008
Springer
13 years 9 months ago
Learning the distance metric in a personal ontology
Personal ontology construction is the task of sorting through relevant materials, identifying the main topics and concepts, and organizing them to suit personal needs. Automatic c...
Hui Yang, Jamie Callan
AOSD
2006
ACM
14 years 1 months ago
Towards supporting on-demand virtual remodularization using program graphs
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
David Shepherd, Lori L. Pollock, K. Vijay-Shanker
HT
1998
ACM
13 years 12 months ago
Linking by Inking: Trailblazing in a Paper-Like Hypertext
“Linking by inking” is a new interface for reader-directed link construction that bridges reading and browsing activities. We are developing linking by inking in XLibris, a hy...
Morgan N. Price, Gene Golovchinsky, Bill N. Schili...