949 search results - page 37 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
107
Voted
WADT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
129
click to vote
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
114
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
152
Voted
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...