Sciweavers

4460 search results - page 715 / 892
» Resources in process algebra
Sort
View
ISQED
2005
IEEE
98views Hardware» more  ISQED 2005»
16 years 1 days ago
Wire Planning with Bounded Over-the-Block Wires
Hierarchical approach greatly facilitates large-scale chip design by hiding distracting details in low-level objects. However, the lowlevel designs have to have a global view of h...
Hua Xiang, I-Min Liu, Martin D. F. Wong
ITCC
2005
IEEE
16 years 1 days ago
Semantic Grid - Interoperability Solution for Construction VO?
Construction activities take place in what can be called a dynamic virtual organization (VO). VOs require a secure, reliable, scalable information infrastructure that allows colla...
Ziga Turk, Matevz Dolenc, Vlado Stankovski, Etiel ...
PDP
2005
IEEE
16 years 22 hour ago
Distributed Data Collection through Remote Probing in Windows Environments
Distributed Data Collector (DDC) is a framework to ease and automate repetitive executions of console applications (probes) over a set of LAN networked Windows personal computers....
Patrício Domingues, Paulo Marques, Lu&iacut...
RTCSA
2005
IEEE
16 years 21 hour ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
TRIDENTCOM
2005
IEEE
16 years 19 hour ago
An Open Access Wideband Multi-Antenna Wireless Testbed with Remote Control Capability
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...
Weijun Zhu, David W. Browne, Michael P. Fitz