177 search results - page 31 / 36 » Modeling shared variables in VHDL |
128
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
145
Voted
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we introduce the Progressive Forest Split (PFS) representation, a new adaptive refinement scheme for storing and transmitting manifold triangular meshes in progress...
145
Voted
AVI
2008
15 years 6 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
152
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...
133
Voted
JAIR
2008
15 years 3 months ago
2008
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agent...