Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
The biggest obstacle in the formal veriļ¬cation of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
Data sets with a large number of nominal variables, some with high cardinality, are becoming increasingly common and need to be explored. Unfortunately, most existing visual explo...
Geraldine E. Rosario, Elke A. Rundensteiner, David...
Massively multicore processors, like, for example, Graphics Processing Units (GPUs), provide, at a comparable price, a one order of magnitude higher peak performance than traditio...
Abdullah Gharaibeh, Samer Al-Kiswany, Sathish Gopa...