7080 search results - page 1121 / 1416 » Designing High Integrity Systems Using Aspects |
166
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
This paper presents a hybrid model for animation of soft inelastic substance which undergo topological changes, e.g. separation and fusion and which fit with the objects they are...
128
click to vote
CLIMA
2004
15 years 5 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
132
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Continuous evolution in process technology brings energyefficiency and reliability challenges, which are harder for memory system designs since chip multiprocessors demand high ba...
137
click to vote
ANCS
2007
ACM
15 years 8 months ago
2007
ACM
Recent theoretical results in buffer sizing research suggest that core Internet routers can achieve high link utilization, if they are capable of storing only a handful of packets...
147
click to vote
FPL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Modular multiplication of long integers is an important building block for cryptographic algorithms. Although several FPGA accelerators have been proposed for large modul...