Sciweavers

1835 search results - page 205 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
ICSE
2009
IEEE-ACM
15 years 11 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
VTC
2007
IEEE
129views Communications» more  VTC 2007»
15 years 11 months ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...
LCPC
2001
Springer
15 years 9 months ago
Strength Reduction of Integer Division and Modulo Operations
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
Jeffrey Sheldon, Walter Lee, Ben Greenwald, Saman ...
162
Voted
SIAMJO
2008
114views more  SIAMJO 2008»
15 years 5 months ago
An Inexact SQP Method for Equality Constrained Optimization
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
Richard H. Byrd, Frank E. Curtis, Jorge Nocedal
ICCD
2002
IEEE
257views Hardware» more  ICCD 2002»
16 years 1 months ago
Requirements for Automotive System Engineering Tools
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
Joachim Schlosser