Sciweavers

6303 search results - page 1074 / 1261
» A Generated Management for Distributed Systems
Sort
View
CC
2008
Springer
130views System Software» more  CC 2008»
15 years 5 months ago
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
Atanas Rountev, Mariana Sharp, Guoqing Xu
127
Voted
GRAPHICSINTERFACE
2007
15 years 5 months ago
Wavelet encoding of BRDFs for real-time rendering
Acquired data often provides the best knowledge of a material’s bidirectional reflectance distribution function (BRDF). Its integration into most real-time rendering systems re...
Luc Claustres, Loïc Barthe, Mathias Paulin
125
Voted
IQ
2007
15 years 5 months ago
Data Integration Schema Analysis: An Approach With Information Quality
: Integrated access to distributed data is an important problem faced in many scientific and commercial applications. A data integration system provides a unified view for users to...
Maria da Conceição Moraes Batista, A...
130
Voted
CORR
2008
Springer
156views Education» more  CORR 2008»
15 years 3 months ago
Wireless Sensor/Actuator Network Design for Mobile Control Applications
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
Feng Xia, Yu-Chu Tian, Yanjun Li, Youxian Sun
147
Voted
IJCSA
2006
95views more  IJCSA 2006»
15 years 3 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
« Prev « First page 1074 / 1261 Last » Next »