2588 search results - page 482 / 518 » Engineering Systems Which Generate Emergent Functionalities |
100
click to vote
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
114
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
109
click to vote
FASE
2006
Springer
15 years 3 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
110
click to vote
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
Compiler technology is becoming a key component in the design of embedded systems, mostly due to increasing participation of software in the design process. Meeting system-level ob...
CACM
2008
14 years 12 months ago
2008
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...