6757 search results - page 1119 / 1352 » Knowledge Analysis on Process Models |
136
click to vote
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In two-tier networks consisting of a macrocell overlaid with femtocells in co-channel deployment and closed-access policy, spatial reuse is achieved at the price of sever...
164
click to vote
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
146
click to vote
DEBU
2010
15 years 19 days ago
2010
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
132
click to vote
TE
2010
14 years 10 months ago
2010
Like many engineering programs in Europe, the final part of most Swedish software engineering programs is a longer project in which the students write a Master's thesis. These...
163
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...