The following pages link to (Q4335814):
Displayed 20 items.
- Communication protocols for options and results in a distributed optimization environment (Q298160) (← links)
- A principled, complete, and efficient representation of C++ (Q359906) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Sparse approximate inverse preconditioners on high performance GPU platforms (Q520817) (← links)
- A type system for reflective program generators (Q532406) (← links)
- Semantic information and the correctness theory of truth (Q535391) (← links)
- Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs (Q539175) (← links)
- The plumbing of interactive graphics (Q549610) (← links)
- Delegation by object composition (Q553899) (← links)
- Programming with C++ concepts (Q608245) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- Unified behavior framework for reactive robot control (Q614656) (← links)
- Taligent MVP in interactive statistical graphics (Q626228) (← links)
- Arrangements on parametric surfaces. I: General framework and infrastructure (Q626974) (← links)
- A computer model based on real anatomy for electrophysiology study (Q634287) (← links)
- On design and implementation of a generic number type for real algebraic number computations based on expression dags (Q655162) (← links)
- \texttt{FEMPAR}: an object-oriented parallel finite element framework (Q722874) (← links)
- Transforming of an existing structural analysis program to the object-oriented framework (Q730981) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Refinement patterns for ASTDs (Q736838) (← links)