2039 search results - page 262 / 408 » Teaching Standards to Engineers |
187
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
208
click to vote
ADAEUROPE
2010
Springer
15 years 11 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
152
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
163
click to vote
DBTEL
2001
Springer
15 years 11 months ago
2001
Springer
The DMTF’s recent work on management information modeling in the IP world has highlighted that a number of problems are still unsolved in this important area of enterprise manage...
169
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...