5465 search results - page 109 / 1093 » Assigning Types to Processes |
151
click to vote
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
—The latest trend towards performance asymmetry among cores on a single chip of a multicore processor is posing new challenges. For effective utilization of these performanceasym...
177
Voted
GEOS
2009
Springer
15 years 7 months ago
2009
Springer
As directories of named places, gazetteers link the names to geographic footprints and place types. Most existing gazetteers are managed strictly top-down: entries can only be adde...
146
Voted
CODES
2011
IEEE
14 years 2 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
139
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
126
Voted
LREC
2010
15 years 4 months ago
2010
Most question-answering systems contain a classifier module which determines a question category, based on which each question is assigned an answer type. However, setting up synt...