796 search results - page 74 / 160 » An Overview of Separation Logic |
86
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
The IEEE 1149.6 standard was approved in March of 2003. The standard extends the capability of the IEEE 1149.1 standard to include AC-coupled and/or differential nets. These nets ...
114
click to vote
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
91
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Carbon Nanotube Field-Effect Transistors (CNFETs) can potentially provide significant energy-delay-product benefits compared to silicon CMOS. However, CNFET circuits are subject t...
113
click to vote
MFCS
2001
Springer
15 years 5 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...