3053 search results - page 254 / 611 » Performance of Generative Programming Based Protocol Impleme... |
136
click to vote
FPGA
2007
ACM
15 years 8 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
123
click to vote
ICLP
2009
Springer
15 years 9 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
125
click to vote
C5
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
145
click to vote
ENTCS
2002
15 years 2 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
128
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
We have developed the ZENTURIO experiment management system for performance studies, parameter studies, and software testing of parallel applications on cluster and Grid architect...