2470 search results - page 290 / 494 » Liveness-Preserving Simulation Relations |
124
click to vote
UC
2009
Springer
15 years 11 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
140
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
135
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Ad hoc networks have gained place in the research area recently. There are many researches regarding different topics related to such networks, such as routing, media access co...
160
click to vote
MICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
142
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Wireless sensor networks (WSNs) have many potential applications. Furthermore, in many scenarios WSNs are of interest to adversaries and they become susceptible to some types of a...