1446 search results - page 244 / 290 » Hardware Software Co-Design Using Functional Languages |
125
click to vote
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
148
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
ADBIS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In today’s world, document management plays an increasingly important role. However, there is currently no solution to manage complex documents in an integrated manner....
122
click to vote
TSE
2002
15 years 1 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
157
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...