2303 search results - page 362 / 461 » Interior-Point Methods in Parallel Computation |
141
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
149
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Wireless sensor networks represent an extremely fastgrowing emerging technology, but still suffer from several limitations. The state of the art in sensor networks focuses on opti...
141
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
143
click to vote
PPAM
2007
Springer
15 years 11 months ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
141
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...