2642 search results - page 116 / 529 » Merge-by-Wire: Algorithms and System Support |
140
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
104
click to vote
DSD
2008
IEEE
15 years 8 months ago
2008
IEEE
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
92
Voted
SGAI
2007
Springer
15 years 7 months ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
107
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...
140
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...