4438 search results - page 765 / 888 » The Case for Collaborative Programming |
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Grasping the fruits of "emerging technologies" is an objective of many government priority programs in a knowledge-based and globalizing economy. We use the publication ...
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract--A delay-constrained scheduling problem for pointto-point communication is considered: a packet of B bits must be transmitted by a hard deadline of T slots over a timevary...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this article we review standard null-move pruning and introduce our extended version of it, which we call verified null-move pruning. In verified null-move pruning, whenever th...
123
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
137
click to vote
EOR
2008
15 years 4 months ago
2008
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...