1284 search results - page 137 / 257 » Connectivity in Bag Generation |
197
click to vote
Publication
We introduce and apply a genetic representation for analog electronic circuits based on the association of character strings extracted from the genome with the terminals and param...
193
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
296
click to vote
PEPM
2009
ACM
17 years 6 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
166
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
155
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Protein motions play an essential role in catalysis and protein-ligand interactions, but are difficult to observe directly. A substantial fraction of protein motions i...