70 search results - page 13 / 14 » Object Nets for the Design and Verification of Distributed a... |
HIPC
2000
Springer
13 years 8 months ago
2000
Springer
An increasing number of mission-critical, embedded, telecommunications, and financial distributed systems are being developed using distributed object computing middleware, such a...
DAC
2010
ACM
13 years 4 months ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...
SIMUTOOLS
2008
13 years 6 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
ESCIENCE
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or...
CODES
2009
IEEE
13 years 8 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...