702 search results - page 69 / 141 » Automatic network generation for system-on-chip communicatio... |
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
HPDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Tightly coupled parallel applications are increasingly run in Grid environments. Unfortunately, on many Grid sites the ability of machines to create or accept network connections ...
PEWASUN
2006
ACM
14 years 2 months ago
2006
ACM
In wireless network planning, much effort is spent on the improvement of the network and transport layer – especially for Mobile Ad Hoc Networks. Although in principle realworl...
GI
1998
Springer
14 years 10 days ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...