Sciweavers

1638 search results - page 219 / 328
» Properties of input-consuming derivations
Sort
View
COMPSAC
2006
IEEE
16 years 16 days ago
Tool Support to Model-based Quality Analysis of Software Architecture
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
Qian Zhang, Jian Wu, Hong Zhu
ICNP
2005
IEEE
16 years 2 days ago
Typed Abstraction of Complex Network Compositions
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
INFOCOM
2005
IEEE
16 years 1 days ago
What signals do packet-pair dispersions carry?
— Although packet-pair probing has been used as one of the primary mechanisms to measure bottleneck capacity, crosstraffic intensity, and available bandwidth of end-to-end Inter...
Xiliang Liu, Kaliappa Nadar Ravindran, Dmitri Logu...
ASPDAC
2004
ACM
120views Hardware» more  ASPDAC 2004»
15 years 12 months ago
Temporal floorplanning using 3D-subTCG
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang, Hsin-...
ISCIS
2004
Springer
15 years 12 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi