2119 search results - page 191 / 424 » Structure-Preserving Model Reduction |
151
click to vote
RSP
2003
IEEE
15 years 8 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
134
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
142
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
131
click to vote
SIGGRAPH
2000
ACM
15 years 6 months ago
2000
ACM
We present an algorithm for out-of-core simplification of large polygonal datasets that are too complex to fit in main memory. The algorithm extends the vertex clustering scheme o...
118
click to vote
COLING
2008
15 years 4 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...