2035 search results - page 338 / 407 » On the complexity of stratified logics |
90
Voted
SEFM
2003
IEEE
15 years 4 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
92
Voted
ISLPED
2003
ACM
15 years 4 months ago
2003
ACM
High-performance processors use a large set–associative L1 data cache with multiple ports. As clock speeds and size increase such a cache consumes a significant percentage of t...
88
Voted
PADS
2003
ACM
15 years 4 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
105
click to vote
CCS
2003
ACM
15 years 4 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
105
Voted
CP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...