7167 search results - page 1105 / 1434 » A Technique for Invariant Generation |
183
click to vote
CDC
2009
IEEE
16 years 9 days ago
2009
IEEE
Abstract— The heat exchange efficiency of electrically conducting fluids can drop dramatically when they interact with externally imposed magnetic fields. The movement of such...
209
click to vote
SIGSOFT
2009
ACM
16 years 7 days ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
233
click to vote
EDBT
2009
ACM
16 years 6 days ago
2009
ACM
As the Extensible Markup Language (XML) rapidly establishes itself as the de facto standard for presenting, storing, and exchanging data on the Internet, large volume of XML data ...
183
click to vote
FPL
2009
Springer
16 years 6 days ago
2009
Springer
Automated code generation and performance tuning techniques for concurrent architectures such as GPUs, Cell and FPGAs can provide integer factor speedups over multi-core processor...
214
click to vote
HAIS
2009
Springer
16 years 6 days ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...