2362 search results - page 152 / 473 » Programming in Standard ML |
107
Voted
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
135
click to vote
PACT
2005
Springer
15 years 9 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
127
Voted
ENTCS
2000
15 years 3 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
163
Voted
CLEIEJ
2010
15 years 1 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
121
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...