6201 search results - page 119 / 1241 » Implementation of Axiomatic Language |
202
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
128
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
The proliferation of biological sequence data has motivated the need for an extremely fast probabilistic sequence search. One method for performing this search involves evaluating...
151
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...
119
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...
121
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...