Sciweavers

4880 search results - page 282 / 976
» Manuals as Structured Programs
Sort
View
FPL
2001
Springer
115views Hardware» more  FPL 2001»
15 years 9 months ago
Placing, Routing, and Editing Virtual FPGAs
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
Loïc Lagadec, Dominique Lavenier, Erwan Fabia...
102
Voted
ECLIPSE
2007
ACM
15 years 8 months ago
Filtering out methods you wish you hadn't navigated
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
Annie T. T. Ying, Peri L. Tarr
ESOP
2000
Springer
15 years 8 months ago
Improving the Representation of Infinite Trees to Deal with Sets of Trees
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
Laurent Mauborgne
270
Voted
BMCBI
2005
306views more  BMCBI 2005»
15 years 4 months ago
A method for aligning RNA secondary structures and its application to RNA motif detection
Background: Alignment of RNA secondary structures is important in studying functional RNA motifs. In recent years, much progress has been made in RNA motif finding and structure a...
Jianghui Liu, Jason Tsong-Li Wang, Jun Hu, Bin Tia...
186
Voted
PLPV
2012
ACM
14 years 6 days ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey