5630 search results - page 240 / 1126 » Computability in Specification |
162
Voted
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
111
click to vote
COLING
2002
15 years 6 months ago
2002
We propose a novel measure of the representativeness (i.e., indicativeness or topic specificity) of a term in a given corpus. The measure embodies the idea that the distribution o...
146
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
This paper presents the "Solar" system framework that allows resources to advertise context-sensitive names and for applications to make context-sensitive name queries. ...
198
click to vote
LAWEB
2003
IEEE
15 years 12 months ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
186
click to vote
USENIX
2008
15 years 9 months ago
2008
Large-scale scientific and business applications require data processing of ever-increasing amounts of data, fueling a demand for scalable parallel file systems comprising hundred...