1099 search results - page 107 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
152
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present tools that support the runtime execution of applications that mix software running on networks of workstations and reconfigurable hardware. We use JHDL to describe the ...
185
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
189
click to vote
JSW
2007
15 years 6 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
163
click to vote
COLING
1990
15 years 7 months ago
1990
The central concern of terminology, a component of the general documentation process, is concept analysis, an activity which is becoming recognized as fundamental as term banks evo...
172
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...