Sciweavers

8132 search results - page 42 / 1627
» Dependability, Abstraction, and Programming
Sort
View
CISS
2007
IEEE
16 years 11 days ago
Sensor Location through Linear Programming with Arrival Angle Constraints
Abstract— In previous work, we established a linear programming framework to determine sensor location from measured link distances between neighboring nodes in a network. Beside...
Camillo Gentile, John Shiu
ECEASST
2008
171views more  ECEASST 2008»
15 years 6 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann
IPPS
2010
IEEE
15 years 3 months ago
Handling errors in parallel programs based on happens before relations
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
Nicholas D. Matsakis, Thomas R. Gross
EUROGP
2001
Springer
110views Optimization» more  EUROGP 2001»
15 years 10 months ago
General Schema Theory for Genetic Programming with Subtree-Swapping Crossover
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
Riccardo Poli
VL
2008
IEEE
16 years 12 days ago
End-user programming to support classroom activities on small devices
We believe it is unreasonable to assume that all students will own a laptop. One potential solution is to depend on the students to bring whatever computing devices (cell phones, ...
Craig Prince