3090 search results - page 589 / 618 » On Testing Answer-Set Programs |
116
Voted
CSB
2003
IEEE
15 years 7 months ago
2003
IEEE
NMR resonance peak assignment is one of the key steps in solving an NMR protein structure. The assignment process links resonance peaks to individual residues of the target protei...
128
click to vote
ISLPED
2003
ACM
15 years 7 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
150
click to vote
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
105
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
135
Voted
ICPPW
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...