11063 search results - page 235 / 2213 » On the existence of universal models |
148
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
209
click to vote
NAR
2011
14 years 9 months ago
2011
KUPS (The University of Kansas Proteomics Service) provides high-quality protein–protein interaction (PPI) data for researchers developing and evaluating computational models fo...
179
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
A common task in many applications is to find persons who are knowledgeable about a given topic (i.e., expert finding). In this paper, we propose and develop a general probabilis...
178
Voted
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
193
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...