4835 search results - page 550 / 967 » Intelligent Selection Tools |
182
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
197
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen an increasing interest in end-to-end available bandwidth estimation. A number of estimation techniques and tools have been developed during the last few year...
167
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
209
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...
170
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...