4401 search results - page 637 / 881 » Computing with Default Logic |
129
click to vote
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
169
Voted
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
146
click to vote
CEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Evolutionary computation presents a new paradigm shift in hardware design and synthesis. According to this paradigm, hardware design is pursued by deriving inspiration from biologi...
153
click to vote
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
148
Voted
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...