Sciweavers

3871 search results - page 439 / 775
» A System Architecture for Distributed Control Loop Applicati...
Sort
View
SMC
2007
IEEE
136views Control Systems» more  SMC 2007»
16 years 1 months ago
Experimental implementation and validation of consensus algorithms on a mobile actuator and sensor network platform
— In this paper, we experimentally implement and validate distributed consensus algorithms on a mobile actuator and sensor network platform under directed, possibly switching int...
Wei Ren, Haiyang Chao, William Bourgeous, Nathan S...
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
16 years 12 days ago
Optimization Techniques for ADL-Driven RTL Processor Synthesis
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
Oliver Schliebusch, Anupam Chattopadhyay, Ernst Ma...
RSP
2003
IEEE
103views Control Systems» more  RSP 2003»
16 years 3 days ago
An Instruction Throughput Model of Superscalar Processors
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
Tarek M. Taha, D. Scott Wills
CONCUR
2006
Springer
15 years 10 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
SAC
2008
ACM
15 years 6 months ago
Providing dependability for web services
Web services have been widely employed to allow interoperability among applications and/or technologies. However, the standard technologies and protocols which provide the foundat...
Jeferson L. R. Souza, Frank Siqueira