1511 search results - page 237 / 303 » Relational Parametricity for Computational Effects |
152
click to vote
PPL
2008
15 years 4 months ago
2008
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
125
click to vote
SIAMSC
2008
15 years 4 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
123
click to vote
IJCSA
2007
15 years 4 months ago
2007
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...
149
click to vote
IJEB
2007
15 years 4 months ago
2007
Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
151
click to vote
SIGSOFT
2008
ACM
15 years 4 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...