6201 search results - page 78 / 1241 » Implementation of Axiomatic Language |
165
click to vote
IFIP
1992
Springer
15 years 8 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
131
Voted
PPL
2008
15 years 3 months ago
2008
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...
232
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
We report on our experience with the hardware transactional memory (HTM) feature of two pre-production revisions of a new commercial multicore processor. Our experience includes a...
127
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
136
click to vote
EGC
2005
Springer
15 years 9 months ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...