Search Sciweavers | Sciweavers

1895 search results - page 12 / 379

» Modular Functional Descriptions

click to vote

ICFP
2002
ACM

95views Programming Languages» more ICFP 2002»

Modular typechecking for hierarchically extensible datatypes and functions

14 years 7 months ago

Download www.cs.ucla.edu

Todd D. Millstein, Colin Bleckner, Craig Chambers

claim paper

Read More »

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

14 years 1 months ago

Download cav2007.org

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

claim paper

Read More »

click to vote

IWANN
2001
Springer

322views Neural Networks» more IWANN 2001»

Optimal Modular Feedforward Neural Nets Based on Functional Network Architectures

14 years 2 days ago

Download grupos.unican.es

Antonio S. Cofiño, José Manuel Guti&...

claim paper

Read More »

click to vote

ISMB
2007

131views Computational Biology» more ISMB 2007»

Annotating gene function by combining expression data with a modular gene network

13 years 10 months ago

Download www.bic.kyoto-u.ac.jp

Motoki Shiga, Ichigaku Takigawa, Hiroshi Mamitsuka

claim paper

Read More »

click to vote

ASPDAC
2005
ACM

83views Hardware» more ASPDAC 2005»

Abstracting functionality for modular performance analysis of hard real-time systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers