580 search results - page 27 / 116 » Building a Family of Compilers |
113
Voted
DCOSS
2011
Springer
14 years 7 days ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
139
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
176
click to vote
SIGCSE
2006
ACM
15 years 6 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
106
Voted
BMCBI
2006
15 years 14 days ago
2006
Background: Proteins are comprised of one or several building blocks, known as domains. Such domains can be classified into families according to their evolutionary origin. Wherea...
106
click to vote
WEBNET
1997
15 years 1 months ago
1997
: We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhap...