165 search results - page 24 / 33 » Extensions of Generalized Product Caps |
FOCS
1993
IEEE
15 years 1 months ago
1993
IEEE
We develop a framework that allows us to address the issues of admission control and routing in high-speed networks under the restriction that once a call is admitted and routed, ...
APL
1993
ACM
15 years 1 months ago
1993
ACM
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...
166
Voted
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...
69
Voted
IQ
2007
14 years 11 months ago
2007
: DQ metadata can be stored in a Metadata Repository (MDR). The structure of the MDR should be carefully defined to ensure a maximum amount of flexibility, generality and ease of u...