15777 search results - page 2817 / 3156 » The Reformulation-Optimization Software Engine |
128
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
134
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
Information Systems Security (ISS) is critical to ensuring the integrity and credibility of digitally exchanged information in business processes. Information systems development ...
152
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
141
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Memory leaks are caused by software programs that prevent the reclamation of memory that is no longer in use. They can cause significant slowdowns, exhaustion of available storag...
136
Voted
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...