12774 search results - page 335 / 2555 » A Framework for Proof Systems |
151
click to vote
CSUR
2000
15 years 6 months ago
2000
t abstractions of a particular domain. Any system built from components
185
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The problem of representing text documents within an Information Retrieval system is formulated as an analogy to the problem of representing the quantum states of a physical syste...
185
click to vote
RTS
2010
15 years 5 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
249
click to vote
FCCM
2009
IEEE
15 years 4 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...