1155 search results - page 95 / 231 » Designing Benchmarks for P2P Systems |
128
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
148
click to vote
LCTRTS
1999
Springer
15 years 8 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
140
click to vote
ENTCS
2008
15 years 4 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
158
click to vote
ISCAPDCS
2007
15 years 5 months ago
2007
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...
159
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...