Sciweavers

2880 search results - page 239 / 576
» Types are calling conventions
Sort
View
DAWAK
2006
Springer
15 years 10 months ago
Providing Persistence for Sensor Data Streams by Remote WAL
Rapidly changing environments such as robots, sensor networks, or medical services are emerging. To deal with them, DBMS should persist sensor data streams instantaneously. To achi...
Hideyuki Kawashima, Michita Imai, Yuichiro Anzai
EDBTW
2006
Springer
15 years 10 months ago
Dynamic Plan Migration for Snapshot-Equivalent Continuous Queries in Data Stream Systems
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
Jürgen Krämer, Yin Yang, Michael Cammert...
GECCO
2006
Springer
132views Optimization» more  GECCO 2006»
15 years 10 months ago
Combining genetic algorithms with squeaky-wheel optimization
The AI optimization algorithm called "Squeaky-Wheel Optimization" (SWO) has proven very effective in a variety of real-world applications. Although the ideas behind SWO ...
Justin Terada, Hoa Vo, David Joslin
ISER
2000
Springer
84views Robotics» more  ISER 2000»
15 years 10 months ago
Autonomous Injection of Biological Cells Using Visual Servoing
: The ability to analyze individual cells rather than averaged properties over a population is a major step towards understanding the fundamental elements of biological systems. Re...
Yu Sun, Bradley J. Nelson
ECOOP
2010
Springer
15 years 10 months ago
Verifying Executable Object-Oriented Specifications with Separation Logic
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
Stephan van Staden, Cristiano Calcagno, Bertrand M...