469 search results - page 76 / 94 » Extended abstract: a race-free hardware modeling language |
112
click to vote
ECAI
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
110
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
101
click to vote
SACMAT
2005
ACM
15 years 5 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
137
click to vote
SIGADA
2001
Springer
15 years 4 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
137
click to vote
TASLP
2008
14 years 11 months ago
2008
Abstract--Until quite recently, extending Phrase-based Statistical Machine Translation (PBSMT) with syntactic knowledge caused system performance to deteriorate. The most recent su...