2859 search results - page 429 / 572 » A Programming Environment for Bousi-Prolog |
187
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
182
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
203
click to vote
SACMAT
2009
ACM
16 years 28 days ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
200
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
267
click to vote
SIGCSE
2006
ACM
16 years 11 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...