2612 search results - page 330 / 523 » Switching Graphs and Their Complexity |
172
click to vote
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
161
click to vote
VRST
1997
ACM
15 years 8 months ago
1997
ACM
Abstract. We present an approach for modeling and realtime rendering of outdoor scenes, for use in virtual reality applications such as flight simulators and multi-user virtual env...
126
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
160
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose two algorithms achieving generalized arc consistency for the soft global cardinality constraint with variable-based violation and with value-based violation. T...
146
Voted
JCDCG
2000
Springer
15 years 8 months ago
2000
Springer
We present a simple and practical data structure for storing a (not necessarily convex) polyhedron P which can, given a query surface S cutting the polyhedron, determine the volume...