526 search results - page 18 / 106 » Programming in JoCaml (Tool Demonstration) |
191
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
97
Voted
WCRE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
131
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
114
click to vote
PERCOM
2007
ACM
16 years 1 days ago
2007
ACM
Macro programming a distributed system, such as a sensor network, is the ability to specify application tasks at a global level while relying on compiler-like software to translat...
IOR
2006
15 years 13 days ago
2006
The DASH model for Power Portfolio Optimization provides a tool which helps decision-makers coordinate production decisions with opportunities in the wholesale power market. The m...