837 search results - page 116 / 168 » Proof Development with OMEGA |
ISCI
2007
15 years 17 days ago
2007
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
CLEIEJ
2002
15 years 15 days ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
155
Voted
AGP
2010
IEEE
14 years 10 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
101
Voted
ICES
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In an application where autonomous robots can amalgamate spontaneously into arbitrary organisms, the individual robots cannot know a priori at which location in an organi...
124
click to vote
TII
2010
14 years 7 months ago
2010
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...