Sciweavers

7892 search results - page 140 / 1579
» Programming with Models
Sort
View
IPPS
1998
IEEE
15 years 5 months ago
An Object Model for Multiprogramming
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
Jayadev Misra
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
15 years 10 months ago
A Convex Programming Approach to Positive Real Rational Approximation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
EUROGP
2010
Springer
166views Optimization» more  EUROGP 2010»
15 years 6 months ago
Learning a Lot from Only a Little: Genetic Programming for Panel Segmentation on Sparse Sensory Evaluation Data
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...
Katya Vladislavleva, Kalyan Veeramachaneni, Una-Ma...
89
Voted
WSC
1998
15 years 2 months ago
Rostering by Iterating Integer Programming and Simulation
We present a new technique (RIIPS) for solving rostering problems in the presence of service uncertainty. RIIPS stands for "Rostering by Iterating Integer Programming and Sim...
Shane G. Henderson, Andrew J. Mason
ESOP
2010
Springer
15 years 10 months ago
Parameterized Memory Models and Concurrent Separation Logic
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
Rodrigo Ferreira, Xinyu Feng and Zhong Shao