10935 search results - page 1704 / 2187 » Neural Programming Language |
320
Voted
SAC
2008
ACM
15 years 7 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
230
Voted
SCP
2010
15 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
230
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
213
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
201
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...