Sciweavers

1446 search results - page 155 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 10 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
135
Voted
ICSM
1996
IEEE
15 years 9 months ago
Preprocessors from an Abstract Point of View
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
Jean-Marie Favre
UAI
1998
15 years 6 months ago
Inferring Informational Goals from Free-Text Queries: A Bayesian Approach
People using consumer software applications typically do not use technical jargon when querying an online database of help topics. Rather, they attempt to communicate their goals ...
David Heckerman, Eric Horvitz
QSIC
2005
IEEE
15 years 10 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
FPL
2009
Springer
132views Hardware» more  FPL 2009»
15 years 9 months ago
Binary Synthesis with multiple memory banks targeting array references
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...
Yosi Ben-Asher, Nadav Rotem