5550 search results - page 550 / 1110 » Different Approaches to Proof Systems |
186
click to vote
IJES
2008
15 years 7 months ago
2008
: On-chipimplementationofmultiprocessorsystemsneedstoplanarisetheinterconnect networks onto the silicon floorplan. Compared with traditional ASIC/SoC architectures, Multiprocessor ...
167
click to vote
AAMAS
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. The purpose of this research is to show the relevance of philosophical theories to agent knowledge base (AKB) design, implementation, and behaviour. We will describe how ...
224
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
182
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
— The importance of characterizing the aggregate interference power generated by a wireless network has increased with the emergence of different types of wireless networks such ...
189
click to vote
IPAW
2010
15 years 5 months ago
2010
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...