Sciweavers

3663 search results - page 308 / 733
» Problems in the ontology of computer programs
Sort
View
SIGOPS
2010
108views more  SIGOPS 2010»
15 years 5 months ago
Cloud-TM: harnessing the cloud with distributed transactional memories
One of the main challenges to harness the potential of Cloud computing is the design of programming models that simplify the development of large-scale parallel applications and t...
Paolo Romano, Luís Rodrigues, Nuno Carvalho...
WEA
2010
Springer
243views Algorithms» more  WEA 2010»
16 years 1 months ago
Experiments with a Feasibility Pump Approach for Nonconvex MINLPs
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti...
MDM
2007
Springer
103views Communications» more  MDM 2007»
16 years 26 days ago
Variant Bandwidth Channel Allocation in the Data Broadcasting Environment
Data broadcast is a technique to realize energy saving and bandwidth utilization in a mobile computing environment. However, traditional schemes schedule data items without consid...
Chung-Hua Chu, Hao-Ping Hung, Ming-Syan Chen
VL
2006
IEEE
104views Visual Languages» more  VL 2006»
16 years 22 days ago
Pair Collaboration in End-User Debugging
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
Thippaya Chintakovid, Susan Wiedenbeck, Margaret M...
CP
2004
Springer
16 years 4 days ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu