2558 search results - page 246 / 512 » Model Composition Contracts |
174
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
162
click to vote
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
158
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
Traditionally, combinatorial optimization problems (such as maximum flow, maximum matching, etc.) have been studied for networks where each link has a fixed capacity. Recent resear...
143
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
139
click to vote
COMPGEOM
2006
ACM
15 years 11 months ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...