Sciweavers

7961 search results - page 69 / 1593
» Input-Output Model Programs
Sort
View
ICFP
2004
ACM
16 years 2 months ago
Relating models of backtracking
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
Mitchell Wand, Dale Vaillancourt
ECBS
1999
IEEE
112views Hardware» more  ECBS 1999»
15 years 6 months ago
Metaprogrammable Toolkit for Model-Integrated Computing
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
Ákos Lédeczi, Miklos Maroti, Gabor K...
ICCS
2004
Springer
15 years 7 months ago
A Dynamic Stochastic Programming Model for Bond Portfolio Management
In this paper we develop a dynamic stochastic programming model for bond portfolio management. A new risk measurement-shortfall cost is put forward. It allows more tangible express...
Liyong Yu, Shouyang Wang, Yue Wu, Kin Keung Lai
DCOSS
2010
Springer
15 years 7 months ago
Programming Sensor Networks Using Remora Component Model
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
Amirhosein Taherkordi, Frédéric Loir...
APSEC
2004
IEEE
15 years 6 months ago
Modeling the Impact of a Learning Phase on the Business Value of a Pair Programming Project
Pair programmers need a "warmup phase" before the pair can work at full speed. The length of the learning interval varies, depending on how experienced the developers are...
Frank Padberg, Matthias M. Müller