Sciweavers

583 search results - page 44 / 117
» Concurrency control for distributed cooperative engineering ...
Sort
View
CODES
2008
IEEE
14 years 2 months ago
Distributed flit-buffer flow control for networks-on-chip
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
Nicola Concer, Michele Petracca, Luca P. Carloni
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
13 years 11 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
DCOSS
2011
Springer
12 years 7 months ago
Transmission Control Policy design for decentralized detection in sensor networks
—A Wireless Sensor Network (WSN) deployed for detection applications has the distinguishing feature that sensors cooperate to perform the detection task. Therefore, the decoupled...
Ashraf Tantawy, Xenofon D. Koutsoukos, Gautam Bisw...
ICSE
2000
IEEE-ACM
13 years 11 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
COOP
2004
13 years 9 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...