4397 search results - page 453 / 880 » Relational Algebra Operations |
184
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
144
click to vote
ASPDAC
1995
ACM
15 years 9 months ago
1995
ACM
: CMOS circuits have significant amounts of dynamic short-circuit (or through) current. This can be as large as 20% of the total in well-designed circuits, and up to 80% of the tot...
160
click to vote
WSC
2007
15 years 8 months ago
2007
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
151
click to vote
CCA
2005
Springer
15 years 8 months ago
2005
Springer
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
183
click to vote
DMS
2008
15 years 7 months ago
2008
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...