2297 search results - page 223 / 460 » Production of Large Computer Programs |
180
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
153
click to vote
CACM
2011
14 years 10 months ago
2011
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
200
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Parallel computing is frequently used to speed up computationally expensive tasks in Bioinformatics. Results: Herein, a parallel version of the multi-alignment program...
189
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...
153
click to vote
CCE
2004
15 years 6 months ago
2004
Multiproduct pipelines permit to transport large volumes of a wide range of refined petroleum products from major supply sources to distribution centers near market areas. Batches...