7121 search results - page 1144 / 1425 » Functions as Session-Typed Processes |
142
click to vote
CDES
2006
15 years 6 months ago
2006
Digital signal processing (DSP) industry has been growing rapidly over the past few years; it remains the technology driver for the recovering semiconductor industry. Performance ...
140
click to vote
CDES
2006
15 years 6 months ago
2006
: Over the last three decades there has been significant progress in the first principles methods for calculating the properties of materials at the quantum level. They have largel...
130
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
129
click to vote
CSC
2006
15 years 6 months ago
2006
: This work is about an algorithm for solving a linear program which is simple to apply. There are three algorithms in this work. The first algorithm solves a two-variable linear p...
108
Voted
ECIS
2004
15 years 6 months ago
2004
The topic of the paper concerns the implementation and use of standards. The standards which are in focus in the paper include conceptual models and descriptions of the functionali...