6201 search results - page 56 / 1241 » Implementation of Axiomatic Language |
169
click to vote
JMIV
2002
15 years 3 months ago
2002
This paper develops a multiscale connectivity theory for shapes based on the axiomatic definition of new generalized connectivity measures, which are obtained using morphology-base...
245
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
128
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
123
click to vote
DELTA
2010
IEEE
15 years 9 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
128
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...