1222 search results - page 56 / 245 » Verifying a File System Implementation |
111
click to vote
COMPUTING
2006
15 years 2 months ago
2006
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...
123
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
The ability to record and account for the usage of computational resources in a standardised way across different systems from multiple administrative domains is a precursor to wi...
112
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...
106
Voted
CISIS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a flexible middleware system for omni-directional video transmission for various teleconferencing applications is introduced. The omni-directional image has more ad...
113
Voted
ICDCSW
2008
IEEE
15 years 8 months ago
2008
IEEE
—Recently, wireless sensor networks (WSNs) have been widely discussed in many applications. In this paper, we propose a WSN-based intelligent light control system for indoor envi...