1888 search results - page 169 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
137
Voted
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
147
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
144
click to vote
ASAP
2008
IEEE
15 years 10 months ago
2008
IEEE
This article discusses the design of an application specific MPSoC architecture dedicated to Multiple Target Tracking (MTT). This application has its utility in driver assistant s...
241
Voted
NFM
2011
14 years 10 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
134
click to vote
FGIT
2009
Springer
15 years 10 months ago
2009
Springer
Recently, most of malicious web pages include obfuscated codes in order to circumvent the detection of signature-based detection systems .It is difficult to decide whether the sti...