169 search results - page 27 / 34 » Implementing fault-tolerance in real-time programs by automa... |
117
Voted
SPE
2008
15 years 3 months ago
2008
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
159
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
110
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
132
Voted
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
113
Voted
PDCAT
2007
Springer
15 years 9 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...