7623 search results - page 989 / 1525 » Constructive Volume Modeling |
198
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present a power dissipation model considering the charging/discharging of capacitance at the gate output node as well as internal nodes, and capacitance feedthrou...
175
click to vote
DBPL
1993
Springer
15 years 11 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
199
click to vote
SAT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
215
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
157
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
The NGN convergence services will play an important role to consolidate the deployment of NGN at the initial phase. At the initial stage, scenario-based approach is expected to act...