2746 search results - page 141 / 550 » Behavioral Simulations in MapReduce |
141
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
150
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
128
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
117
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— A new strategy is developed for tracking an odor plume in an environment where wind is present. The strategy is inspired by the mechanisms that animals use to orient to stimuli...
148
click to vote
INFOSCALE
2006
ACM
15 years 10 months ago
2006
ACM
Millions of Internet users are using large-scale peerto-peer (P2P) networks to share content files today. Many other mission-critical applications, such as Internet telephony and...