1222 search results - page 56 / 245 » Verifying a File System Implementation |
132
click to vote
COMPUTING
2006
15 years 4 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...
142
Voted
CCGRID
2005
IEEE
15 years 10 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...
131
click to vote
CIKM
2009
Springer
15 years 9 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...
122
Voted
CISIS
2007
IEEE
15 years 11 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...
132
Voted
ICDCSW
2008
IEEE
15 years 11 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...