1521 search results - page 64 / 305 » Efficient Design Validation Based on Cultural Algorithms |
135
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
In this paper, we describe the design and implementation of a distributed operating system for ad hoc networks. Our system simplifies the programming of ad hoc networks and extend...
162
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
140
click to vote
ECTEL
2009
Springer
15 years 11 months ago
2009
Springer
While reading documents, people commonly make annotations: they underline or highlight text and write comments in the margin. Making annotations during reading activities has been ...
111
click to vote
EVOW
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
182
click to vote
VLSID
2002
IEEE
15 years 9 months ago
2002
IEEE
à This paper addresses the problem of static and dynamic variable voltage scheduling of multi-rate periodic task graphs (i.e., tasks with precedence relationships) and aperiodic t...