576 search results - page 16 / 116 » Model composition for scheduling analysis in platform design |
126
click to vote
CBSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
121
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
ENTCS
2007
15 years 1 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
130
Voted
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...
118
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...