Sciweavers

3404 search results - page 157 / 681
» C Programming Tutorial
Sort
View
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
15 years 8 months ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
COCOON
2008
Springer
15 years 3 months ago
A Linear Programming Duality Approach to Analyzing Strictly Nonblocking d-ary Multilog Networks under General Crosstalk Constrai
When a switching network topology is used for constructing optical cross-connects, as in the circuit switching case, no two routes are allowed to share a link. However, if two rou...
Hung Q. Ngo, Yang Wang 0014, Anh Le
134
Voted
PLDI
2004
ACM
15 years 7 months ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu
IJON
2002
219views more  IJON 2002»
15 years 1 months ago
NEURObjects: an object-oriented library for neural network development
NEURObjects is a set of C++ library classes for neural network development, exploiting the potentialities of object-oriented design and programming. The main goal of the library c...
Giorgio Valentini, Francesco Masulli
161
Voted
ICFP
2012
ACM
13 years 4 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook