9110 search results - page 1523 / 1822 » Formally-Based Design Evaluation |
141
click to vote
FAST
2009
15 years 2 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
117
click to vote
GLOBECOM
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we provide a mathematical ILP model for the Regeneration Placement Problem (RPP) which minimizes the total number of regeneration nodes allocated in a translucent opt...
139
click to vote
GRAPHICSINTERFACE
2009
15 years 2 months ago
2009
We present a simple and efficient method for reconstructing triangulated surfaces from massive oriented point sample datasets. The method combines streaming and parallelization, m...
170
click to vote
HCI
2009
15 years 2 months ago
2009
The popularity of social information systems has been driven by their ability to help users manage, organize and share online resources. Though the research exploring the use of ta...
170
click to vote
HCI
2009
15 years 2 months ago
2009
The military environment is changing, e.g., the operating environment is becoming more varied and demanding. Due to these challenges, new user interfaces (UIs) are required providi...