3174 search results - page 167 / 635 » An Exploration of the Permanent-Determinant Method |
155
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We investigate the general problem of reproducing color images on an offset press using custom inks in any combination and number. While this problem has been explored previously ...
158
click to vote
ICCAD
1993
IEEE
1993
IEEE
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors
15 years 10 months ago
— One major problem in pipeline synthesis is the detection and resolution of pipeline hazards. In this paper we present a new solution to the problem in the domain of pipelined a...
208
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
167
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
181
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
As an important step towards bootstrapping the Semantic Web, many efforts have been made to extract triples from Wikipedia because of its wide coverage, good organization and rich ...