Sciweavers

2624 search results - page 245 / 525
» The 2LIP model and its implementations
Sort
View
85
Voted
CP
2007
Springer
15 years 7 months ago
Model-Driven Visualizations of Constraint-Based Local Search
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
Grégoire Dooms, Pascal Van Hentenryck, Laur...
110
Voted
ECTEL
2007
Springer
15 years 7 months ago
Modelling the Virtual Company Educational Scenario Competence Assessment in the Cooper Environment
The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from pro...
Howard Spoelstra, Vlad Posea, Jan van Bruggen, Rob...
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
15 years 7 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
OOPSLA
2005
Springer
15 years 6 months ago
Using dependency models to manage complex software architecture
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jac...
139
Voted
PARA
2004
Springer
15 years 6 months ago
Parallel Discrete Event Simulations of Grid-Based Models: Asynchronous Electromagnetic Hybrid Code
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
Homa Karimabadi, Jonathan Driscoll, Jagrut Dave, Y...