9110 search results - page 257 / 1822 » Formally-Based Design Evaluation |
162
click to vote
ISMVL
2007
IEEE
16 years 24 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
159
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
There are many studies on ABS and several frameworks for ABS have already been published. However, there are few frameworks that can enable agent-based simulation using large numb...
154
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
The increased availability of online knowledge has led to the design of several algorithms that solve a variety of tasks by harvesting the Semantic Web, i.e., by dynamically select...
156
click to vote
WEA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The continuous growth of the routing tables sizes in backbone routers is one of the most compelling scaling problems affecting the Internet and has originated considerab...
175
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...