5451 search results - page 793 / 1091 » On very high degrees |
168
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
227
click to vote
WEA
2010
Springer
15 years 12 months ago
2010
Springer
We investigate how the recently developed different approaches to generate randomized roundings satisfying disjoint cardinality constraints behave when used in two classical algori...
203
click to vote
APSCC
2009
IEEE
15 years 12 months ago
2009
IEEE
Enterprise Architecture (EA) has become an important means to acquire and maintain knowledge about the structure and behavior of the enterprises and to develop the required IT sys...
192
click to vote
BIBM
2009
IEEE
15 years 12 months ago
2009
IEEE
—A typical cell has a size of only 10 µm while it contains about a billion proteins. Transportation of these proteins from their synthesis sites to their target locations within...
178
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...