5084 search results - page 348 / 1017 » Proving Possibility Properties |
170
click to vote
ISCAS
2003
IEEE
16 years 4 hour ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
171
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
185
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
190
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
172
click to vote
FSE
2003
Springer
15 years 12 months ago
2003
Springer
We use the notion of covering sequence, introduced by C. Carlet and Y. Tarannikov, to give a simple characterization of bent functions. We extend it into a characterization of plat...