10666 search results - page 271 / 2134 » Quantum programming languages |
178
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
187
click to vote
SCAM
2006
IEEE
16 years 17 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
187
click to vote
AAAI
2008
15 years 9 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
190
click to vote
CHARME
1999
Springer
15 years 11 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
183
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...