2036 search results - page 280 / 408 » Analysis of the XC6000 Architecture for Embedded System Desi... |
152
click to vote
MSWIM
2005
ACM
15 years 12 months ago
2005
ACM
The substitution of ATM transport by IP in future UMTS Radio Access Networks (UTRAN) introduces several performance challenges that need to be addressed to guarantee the feasibili...
192
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
165
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...
162
click to vote
BROADNETS
2007
IEEE
16 years 23 days ago
2007
IEEE
—Grid computing aims to realize a high-performance computing environment, while increasing the usage efficiency of installed resources. This puts considerable constraints on the...
137
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...