3005 search results - page 543 / 601 » Logical Information Systems: from Taxonomies to Logics |
145
Voted
DAC
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
108
Voted
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
108
click to vote
FPL
2006
Springer
15 years 5 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
101
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
120
Voted
RELMICS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...